blob: 544e3ca7e63ac956d0af641e3182ccfdf0c4ff53 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(* 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_ddhtl = ref false
let option_dgblseq = ref false
let option_dgblpar = ref false
let option_dgblsubpar = ref false
let option_drtlparfu = ref false
let option_hls_schedule = ref false
let option_fif_conv = ref false
let option_fram = ref true
|
