From 9862a729e259fa20e5c161f86b86eed7b56581b4 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 1 Sep 2021 15:58:16 +0200
Subject: [PATCH] Sanitize test output.

---
 tests/simple.t | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/tests/simple.t b/tests/simple.t
index 5bd0aa97..c5d8729b 100644
--- a/tests/simple.t
+++ b/tests/simple.t
@@ -1,5 +1,5 @@
 Test verify
-  $ caisar verify -L . --format whyml - <<EOF
+  $ caisar verify -L . --format whyml - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9./]*/$TMPFILE/'
   > theory T
   >   use TestNetwork.AsTuple
   >   use ieee_float.Float64
@@ -13,13 +13,13 @@ Test verify
   > EOF
   <autodetect>0 prover(s) added
   <autodetect>Generating strategies:
-  <autodetect>Run: (Marabou --version) > /tmp/buildd4bdbe.dune/out113e6d 2>&1
-  <autodetect>Run: (alt-ergo --version) > /tmp/buildd4bdbe.dune/outb7c794 2>&1
-  <autodetect>Run: (alt-ergo-2.4.0 --version) > /tmp/buildd4bdbe.dune/out216d3e 2>&1
+  <autodetect>Run: (Marabou --version) > $TMPFILE 2>&1
+  <autodetect>Run: (alt-ergo --version) > $TMPFILE 2>&1
+  <autodetect>Run: (alt-ergo-2.4.0 --version) > $TMPFILE 2>&1
   <autodetect>command 'alt-ergo-2.4.0 --version' failed. Output:
   sh: 1: alt-ergo-2.4.0: not found
   
-  <autodetect>Run: (pyrat.py --version) > /tmp/buildd4bdbe.dune/outf8b6d4 2>&1
+  <autodetect>Run: (pyrat.py --version) > $TMPFILE 2>&1
   <autodetect>Found prover Alt-Ergo version 2.4.0, OK.
   <autodetect>Found prover Marabou version 1.0.+, OK.
   <autodetect>Found prover PyRAT version 1.0, OK.
-- 
GitLab