set_opt_control_flow_straightening(value);
set_opt_control_flow_weak_simplification(value);
set_opt_control_flow_strong_simplification(value);
- set_opt_critical_edges(value);
}
void set_firm_verbosity (int value) {
lc_opt_add_table(grp, firm_flags);
#endif
}
+
+firm_verification_t opt_do_node_verification = FIRM_VERIFICATION_ON;
+
+void do_node_verification(firm_verification_t mode) {
+ opt_do_node_verification = mode;
+}