Searched refs:BOOLECTOR_UNKNOWN (Results 1 – 12 of 12) sorted by relevance
59 res = BOOLECTOR_UNKNOWN; in parse_aux()96 assert (parse_res.status == BOOLECTOR_UNKNOWN); in parse_aux()
897 assert (sat_result == BOOLECTOR_UNKNOWN); in print_sat_result()1013 parse_status = BOOLECTOR_UNKNOWN; in boolector_main()1014 sat_res = BOOLECTOR_UNKNOWN; in boolector_main()1546 assert (boolector_terminate (btor) || sat_res != BOOLECTOR_UNKNOWN in boolector_main()
29 #define BOOLECTOR_UNKNOWN BTOR_RESULT_UNKNOWN macro
38 run_test (name, ext, BOOLECTOR_UNKNOWN); in run_modelgen_smt2_test()
37 run_test (name, ext, BOOLECTOR_UNKNOWN); in run_modelgen_test()
27 run_test (name, ".btor", BOOLECTOR_UNKNOWN); in run_btor_parse_error_test()33 run_test (name, ".smt2", BOOLECTOR_UNKNOWN); in run_smt_parse_error_test()
212 if (expected != BOOLECTOR_UNKNOWN)
631 res->status = BOOLECTOR_UNKNOWN; in parse_btor2_parser()
2474 if (res->result == BOOLECTOR_UNKNOWN) res->result = BOOLECTOR_UNSAT; in smt_parser_inc_add_release_sat()2591 res->status = BOOLECTOR_UNKNOWN; in translate_benchmark()2828 res->status = BOOLECTOR_UNKNOWN; in parse()2829 res->result = BOOLECTOR_UNKNOWN; in parse()
1898 res->status = BOOLECTOR_UNKNOWN; in parse_btor_parser()
4376 parser->res->status = BOOLECTOR_UNKNOWN; in set_info_smt2()
69 :c:macro:`BOOLECTOR_UNKNOWN`. In any other non-error case it returns