/* an external flag can be set and get from outside */
#define E_FLAG(name, value, def) \
void set_opt_##name(int flag) { \
/* an external flag can be set and get from outside */
#define E_FLAG(name, value, def) \
void set_opt_##name(int flag) { \
- return get_opt_optimize();
-}
-
-void set_opt_control_flow(int value)
-{
- set_opt_control_flow_straightening(value);
- set_opt_control_flow_weak_simplification(value);
- set_opt_control_flow_strong_simplification(value);
-}
-
-void set_firm_verbosity (int value) {
- firm_verbosity_level = value;
+ return get_opt_optimize();
-int (get_firm_verbosity) (void) {
- return _get_firm_verbosity();
+void set_opt_control_flow(int value) {
+ set_opt_control_flow_straightening(value);
+ set_opt_control_flow_weak_simplification(value);
+ set_opt_control_flow_strong_simplification(value);
#define E_FLAG(name, value, def) printf(" %-20s = %s\n", #name, get_opt_##name() ? "ON" : "OFF");
#define I_FLAG(name, value, def) printf(" %-20s = %s\n", #name, get_opt_##name() ? "ON" : "OFF");
#define R_FLAG(name, value) printf(" %-20s = %s\n", #name, is_##name##_running() ? "is running" : "not running");
#define E_FLAG(name, value, def) printf(" %-20s = %s\n", #name, get_opt_##name() ? "ON" : "OFF");
#define I_FLAG(name, value, def) printf(" %-20s = %s\n", #name, get_opt_##name() ? "ON" : "OFF");
#define R_FLAG(name, value) printf(" %-20s = %s\n", #name, is_##name##_running() ? "is running" : "not running");
firm_verification_t opt_do_node_verification = FIRM_VERIFICATION_ON;
void do_node_verification(firm_verification_t mode) {
firm_verification_t opt_do_node_verification = FIRM_VERIFICATION_ON;
void do_node_verification(firm_verification_t mode) {