BE_VRFY_ASSERT
};
+enum {
+ BE_SCHED_SELECT_ISA = 0,
+ BE_SCHED_SELECT_MUCHNIK = 1,
+ BE_SCHED_SELECT_HEUR = 2,
+ BE_SCHED_SELECT_HMUCHNIK = 3
+};
+
struct _be_options_t {
int dump_flags;
- char timing;
+ int timing;
+ int sched_select;
+ int mris;
char ilp_server[128];
char ilp_solver[128];
};