diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-06-30 12:34:35 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-30 12:34:35 +0100 |
| commit | f26f3887d0b0ac286c317a5425a3a4781871cfc2 (patch) | |
| tree | ef89abc630bcc6087b38aba18fd859311e2d3ed1 /src/CoqupClflags.ml | |
| parent | ae3f6b6096ab2484c1b3dcfab7f3f72bcfd268d5 (diff) | |
| download | vericert-f26f3887d0b0ac286c317a5425a3a4781871cfc2.tar.gz vericert-f26f3887d0b0ac286c317a5425a3a4781871cfc2.zip | |
Add command line flags for initial block
Diffstat (limited to 'src/CoqupClflags.ml')
| -rw-r--r-- | src/CoqupClflags.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/CoqupClflags.ml b/src/CoqupClflags.ml new file mode 100644 index 0000000..83dd31d --- /dev/null +++ b/src/CoqupClflags.ml @@ -0,0 +1,5 @@ +(* Coqup flags *) +let option_simulate = ref false +let option_hls = ref true +let option_debug_hls = ref false +let option_initial = ref false |