From a32a178fcc73f3e6738cefdfc5f65d10fedb1baf Mon Sep 17 00:00:00 2001 From: Filipe Marques Date: Mon, 27 May 2024 17:04:59 +0100 Subject: [PATCH] Add missing option to run z3_mappings2 --- bin/main2.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/bin/main2.ml b/bin/main2.ml index a3900df4..fa62f72b 100644 --- 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)