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