1 #pragma once 2 3 #include <string> 4 5 // name to give output Uclid5 module 6 extern std::string module_name; 7 8 // Type to use for ranges and scalarsets. Either “integer” or a bit-vector type 9 // “bvX”. An empty string chooses automatically between “integer” and “bv64”. 10 extern std::string numeric_type; 11 12 enum verbosity_t { QUIET, WARNINGS, VERBOSE }; 13 14 // level of diagnostic messages to report 15 extern verbosity_t verbosity; 16