From ff9e3f63f1648ab2310000fe963918338f311c6e Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 10 Oct 2022 16:38:26 +0200
Subject: [PATCH] [tests] Rework stub for cvc5.
---
tests/bin/cvc5 | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/tests/bin/cvc5 b/tests/bin/cvc5
index 20cc33f..7a71c32 100644
--- a/tests/bin/cvc5
+++ b/tests/bin/cvc5
@@ -7,9 +7,9 @@ case $1 in
;;
*)
echo "PWD: $(pwd)"
- echo "NN: $1"
- test -e $1 || (echo "Cannot find the NN file" && exit 1)
+ echo "SMTLIB_FILE: $3"
+ test -e $3 || (echo "Cannot find the SMTLIB file" && exit 1)
echo "Goal:"
- cat $2
+ cat $3
echo "Unknown"
esac
--
GitLab