Merge branch 'fix_tmp_dir_filtering' into 'master'

Fix log filtering with $TMPDIR

See merge request laiser/caisar!33

tests/dune

@@ -6,5 +6,6 @@
   TestSVM.ovo
   bin/pyrat.py
   bin/Marabou
-  bin/saver)
+  bin/saver
+  filter_tmpdir.sh)
  (package caisar))

tests/filter_tmpdir.sh

+#!/bin/bash -eu
+
+exec sed -e "s&${TMPDIR:-/tmp}/[a-z0-9_./]*&\$TMPFILE&"

tests/marabou.t

@@ -17,7 +17,7 @@ Test verify
 
   $ PATH=$(pwd)/bin:$PATH
 
-  $ caisar verify -L . --format whyml --prover=Marabou - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9_./]*/$TMPFILE/'
+  $ caisar verify -L . --format whyml --prover=Marabou - 2>&1 <<EOF | ./filter_tmpdir.sh
   > theory T
   >   use TestNetwork.NNasTuple
   >   use ieee_float.Float64

tests/simple.t

@@ -20,7 +20,7 @@ Test verify
 
   $ PATH=$(pwd)/bin:$PATH
 
-  $ caisar verify -L . --format whyml --prover=PyRAT - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9_./]*/$TMPFILE/'
+  $ caisar verify -L . --format whyml --prover=PyRAT - 2>&1 <<EOF | ./filter_tmpdir.sh
   > theory T
   >   use TestNetwork.NNasTuple
   >   use ieee_float.Float64

tests/simple_onnx.t

@@ -17,7 +17,7 @@ Test verify
 
   $ PATH=$(pwd)/bin:$PATH
 
-  $ caisar verify -L . --format whyml --prover=PyRAT - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9_./]*/$TMPFILE/'
+  $ caisar verify -L . --format whyml --prover=PyRAT - 2>&1 <<EOF | ./filter_tmpdir.sh
   > theory T
   >   use TestNetworkONNX.NNasTuple
   >   use ieee_float.Float64

tests/simple_ovo.t

@@ -25,7 +25,7 @@ Test verify
 
   $ PATH=$(pwd)/bin:$PATH
 
-  $ caisar verify -L . --format whyml --prover=SAVer --dataset-csv=test_data.csv - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9_./]*/$TMPFILE/'
+  $ caisar verify -L . --format whyml --prover=SAVer --dataset-csv=test_data.csv - 2>&1 <<EOF | ./filter_tmpdir.sh
   > theory T
   >     use TestSVM.SVMasArray
   >     use ieee_float.Float64