diff --git a/tests/dune b/tests/dune
index 9e2e5eafc3f263f1bf4bde94d54cc9a0cdd9599b..90d0754de69c588e1b69167e33b396cfa398fc41 100644
--- a/tests/dune
+++ b/tests/dune
@@ -6,5 +6,6 @@
   TestSVM.ovo
   bin/pyrat.py
   bin/Marabou
-  bin/saver)
+  bin/saver
+  filter_tmpdir.sh)
  (package caisar))
diff --git a/tests/filter_tmpdir.sh b/tests/filter_tmpdir.sh
new file mode 100755
index 0000000000000000000000000000000000000000..cb7a66c1f6ada434a1389398dfe8e9cfc7387d48
--- /dev/null
+++ b/tests/filter_tmpdir.sh
@@ -0,0 +1,3 @@
+#!/bin/bash -eu
+
+exec sed -e "s&${TMPDIR:-/tmp}/[a-z0-9_./]*&\$TMPFILE&"
diff --git a/tests/marabou.t b/tests/marabou.t
index 263f8682885a54e264cc1cf22201cd70770af05b..3e2b8eb9ae65c6085bd55779a6e9dfb2b449d12d 100644
--- a/tests/marabou.t
+++ b/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
diff --git a/tests/simple.t b/tests/simple.t
index 0b8269928329fcf4ebbe7d10260a573a9ed88676..55881f4325560f0e1496c6fee28450503c828293 100644
--- a/tests/simple.t
+++ b/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
diff --git a/tests/simple_onnx.t b/tests/simple_onnx.t
index 600f9c82512f58a76b73fa4af4dd5e299135ece9..7deb1576c3c97897a5ceab55d1ddbec625614532 100644
--- a/tests/simple_onnx.t
+++ b/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
diff --git a/tests/simple_ovo.t b/tests/simple_ovo.t
index 9225ad73ff5a76e6f2517fa2fff3c7cd7051abae..3db8856eef4c62fc0950459e3bd3b2c999306ed7 100644
--- a/tests/simple_ovo.t
+++ b/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