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; }