Searched refs:BTOR_OUTPUT_FORMAT_SMT2 (Results 1 – 5 of 5) sorted by relevance
916 BTOR_OUTPUT_FORMAT_SMT2, enumerator
1203 dump = BTOR_OUTPUT_FORMAT_SMT2; in boolector_main()1517 case BTOR_OUTPUT_FORMAT_SMT2: in boolector_main()
251 BTOR_OUTPUT_FORMAT_SMT2, in btor_opt_init_opts()
2790 btoropt->val = BTOR_OUTPUT_FORMAT_SMT2; in btormbt_state_opt()3436 || outformat == BTOR_OUTPUT_FORMAT_SMT2) in btormbt_state_dump()
427 != pyboolector.BTOR_OUTPUT_FORMAT_SMT2