Add missing option to run z3_mappings2

filipeom · May 27, 2024 · a32a178 · a32a178
1 parent adb0359
commit a32a178
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/bin/main2.ml b/bin/main2.ml
@@ -20,6 +20,7 @@ open Smtml
 
 type prover =
   | Z3_prover
+  | Z3_prover2
   | Cvc5_prover
   | Colibri2_prover
   | Bitwuzla_prover
@@ -28,6 +29,7 @@ let prover_conv =
   Cmdliner.Arg.enum
     [ ("z3", Z3_prover)
     ; ("Z3", Z3_prover)
+    ; ("z3-2", Z3_prover2)
     ; ("c2", Colibri2_prover)
     ; ("colibri2", Colibri2_prover)
     ; ("Colibri2", Colibri2_prover)
@@ -40,6 +42,7 @@ let parse_cmdline =
     let module Mappings =
       ( val match prover with
             | Z3_prover -> (module Z3_mappings)
+            | Z3_prover2 -> (module Z3_mappings2)
             | Colibri2_prover -> (module Colibri2_mappings)
             | Bitwuzla_prover -> (module Bitwuzla_mappings)
             | Cvc5_prover -> (module Cvc5_mappings)