make option _schedule values corresponding to those of the Schedule enum

vprover · Jul 11, 2023 · 2ac50f9 · 2ac50f9
1 parent b3d5e66
commit 2ac50f9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Shell/Options.cpp b/Shell/Options.cpp
@@ -152,8 +152,10 @@ void Options::init()
 
     _schedule = ChoiceOptionValue<Schedule>("schedule","sched",Schedule::CASC,
         {"casc",
+         "casc_2023",
          "casc_2019",
          "casc_sat",
+         "casc_hol_2023",
          "casc_sat_2019",
          "casc_hol_2020",
          "file",

diff --git a/z3 b/z3