blob: cbee31bcee313517e1b5cb5ea10f5c5437b984fc (
plain)
1
2
3
4
5
6
7
|
(* 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
let option_drtlblock = ref false
|