From 7e77b4ba70aceea384d4c485002c46875fc19695 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 1 Nov 2020 12:53:24 +0000 Subject: Add flag to control if scheduling is active --- src/VericertClflags.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'src/VericertClflags.ml') diff --git a/src/VericertClflags.ml b/src/VericertClflags.ml index cbee31b..26b4053 100644 --- a/src/VericertClflags.ml +++ b/src/VericertClflags.ml @@ -5,3 +5,4 @@ let option_debug_hls = ref false let option_initial = ref false let option_dhtl = ref false let option_drtlblock = ref false +let option_hls_schedule = ref false -- cgit