From 4e55fb12cc0b8c3c7933db0f10ec810947d97732 Mon Sep 17 00:00:00 2001
From: Alex Richardson <Alexander.Richardson@cl.cam.ac.uk>
Date: Wed, 30 Oct 2019 10:03:50 +0000
Subject: [PATCH] Adjust run_tests script to reproduce #195

---
 tests/run_tests | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tests/run_tests b/tests/run_tests
index 96ec1966..da83ca5e 100755
--- a/tests/run_tests
+++ b/tests/run_tests
@@ -72,7 +72,9 @@ sub run_test ($) {
     chdir $temp_dir or die;
 
     system "cp ../$unreduced .";
-    system "../../creduce/creduce --die-on-pass-bug ../${test_script} $unreduced";
+    system "mkdir workdir";
+    chdir "workdir" or die;
+    system "../../../creduce/creduce --die-on-pass-bug ../../${test_script} ../$unreduced";
     
     chdir $test_dir or die;
 }