From 4596de27d4800d9590b043cd5847b3e46a80aed7 Mon Sep 17 00:00:00 2001 From: Filipe Marques Date: Fri, 27 Feb 2026 17:58:55 +0000 Subject: [PATCH] Run regexp tests in cvc5 integration tests --- test/integration/test_solver_cvc5.ml | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/test/integration/test_solver_cvc5.ml b/test/integration/test_solver_cvc5.ml index 2bb5df62..dffe9281 100644 --- a/test/integration/test_solver_cvc5.ml +++ b/test/integration/test_solver_cvc5.ml @@ -6,12 +6,13 @@ let is_available = "is_available" >:: fun _ -> assert_equal Cvc5_mappings.is_available true let test_suite = - let module Cvc5 = Test_solver.Make (Cvc5_mappings) in + let module Cvc5_solv = Test_solver.Make (Cvc5_mappings) in "cvc5" >::: [ is_available - ; Cvc5.test_params (* ; Cvc5.test_cached *) - ; Cvc5.test_lia - ; Cvc5.test_bv + ; Cvc5_solv.test_params + ; Cvc5_solv.test_lia + ; Cvc5_solv.test_bv + ; Cvc5_solv.test_regexp ] let () = run_test_tt_main test_suite