Searched refs:INTERNAL_EXCEPTION (Results 1 – 5 of 5) sorted by relevance
145 INTERNAL_EXCEPTION,
472 INTERNAL_EXCEPTION = 9999 enumerator
497 case INTERNAL_EXCEPTION: in print_error()982 case INTERNAL_EXCEPTION: in error_string()
3002 error->code = INTERNAL_EXCEPTION; in _o_yices_application()7595 error->code = INTERNAL_EXCEPTION; in _o_yices_subst_term()7639 set_error_code(INTERNAL_EXCEPTION); in _o_yices_subst_term_array()8353 set_error_code(INTERNAL_EXCEPTION); in yices_push()8408 set_error_code(INTERNAL_EXCEPTION); in yices_pop()8539 set_error_code(INTERNAL_EXCEPTION); in yices_assert_formula()8609 set_error_code(INTERNAL_EXCEPTION); in yices_assert_formulas()8664 set_error_code(INTERNAL_EXCEPTION); in yices_assert_blocking_clause()8872 set_error_code(INTERNAL_EXCEPTION); in yices_check_context()8942 set_error_code(INTERNAL_EXCEPTION); in yices_check_context_with_assumptions()[all …]
381 goto INTERNAL_EXCEPTION (avoid collision);