From 03794fb28a5926810a9d447df45c73fd9e879af2 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 14 Apr 2023 16:47:03 +0200
Subject: [PATCH] [tests] Update test commands (not oracles).

---
 tests/interpretation_acasxu.t  | 2 +-
 tests/interpretation_dataset.t | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/interpretation_acasxu.t b/tests/interpretation_acasxu.t
index 4d0b064..074f1d1 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 de5f086..f1d9598 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
-- 
GitLab