Searched refs:BTOR_OUTPUT_FORMAT_NONE (Results 1 – 2 of 2) sorted by relevance
92 #define BTOR_OUTPUT_FORMAT_MIN BTOR_OUTPUT_FORMAT_NONE94 #define BTOR_OUTPUT_FORMAT_DFLT BTOR_OUTPUT_FORMAT_NONE
913 BTOR_OUTPUT_FORMAT_NONE, enumerator