1 2 3 4 5 6
(* Vericert flags *) let option_simulate = ref false let option_hls = ref true let option_debug_hls = ref false let option_initial = ref false let option_dhtl = ref false