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