Searched refs:MCSAT_EXCEPTION_UNSUPPORTED_THEORY (Results 1 – 2 of 2) sorted by relevance
416 longjmp(*pre->exception, MCSAT_EXCEPTION_UNSUPPORTED_THEORY); in preprocessor_apply()483 longjmp(*pre->exception, MCSAT_EXCEPTION_UNSUPPORTED_THEORY); in preprocessor_apply()984 longjmp(*pre->exception, MCSAT_EXCEPTION_UNSUPPORTED_THEORY); in preprocessor_apply()
776 MCSAT_EXCEPTION_UNSUPPORTED_THEORY = -21 enumerator