diff --git a/tests/interpretation_acasxu.t b/tests/interpretation_acasxu.t
index 4d0b064f93b4a1cb458a37becb0b1d3cca51d3cd..074f1d13559734371fd423ab5a267717593b8b6b 100644
--- a/tests/interpretation_acasxu.t
+++ b/tests/interpretation_acasxu.t
@@ -1,5 +1,5 @@
 Test interpret on acasxu
-  $ caisar interpret -L . --format whyml - 2>&1 <<EOF | ./filter_tmpdir.sh
+  $ caisar verify -L . --format whyml --prover PyRAT --prover-altern ACAS - 2>&1 <<EOF | ./filter_tmpdir.sh
   > theory T
   >   use ieee_float.Float64
   >   use bool.Bool
diff --git a/tests/interpretation_dataset.t b/tests/interpretation_dataset.t
index de5f0863335ff23501b3cb0983313575a77be4f1..f1d9598b2260a5883196a698d3380cf3a759f35f 100644
--- a/tests/interpretation_dataset.t
+++ b/tests/interpretation_dataset.t
@@ -4,7 +4,7 @@ Test interpret on dataset
   > 0,1.0,0.0,0.019607843,0.776470588,0.784313725
   > EOF
 
-  $ caisar interpret -L . --format whyml - 2>&1 <<EOF | ./filter_tmpdir.sh
+  $ caisar verify -L . --format whyml --prover Marabou -vv - 2>&1 <<EOF | ./filter_tmpdir.sh
   > theory T
   >   use ieee_float.Float64
   >   use bool.Bool