diff --git a/reasoning/blogic/test b/reasoning/blogic/test
index 2f78ab049..b37d90f84 100755
--- a/reasoning/blogic/test
+++ b/reasoning/blogic/test
@@ -1,5 +1,6 @@
-#!/bin/bash -x
+#!/bin/bash
 for f in *.n3s
 do
-    eye "$@" --quiet --blogic --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --nope $f --output $f.out
+    echo + eye --quiet --blogic --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --nope $f --output $f.out
+    eye --quiet --blogic --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --nope $f --output $f.out
 done
diff --git a/reasoning/sequents/test b/reasoning/sequents/test
index 284062108..aec92659e 100755
--- a/reasoning/sequents/test
+++ b/reasoning/sequents/test
@@ -1,5 +1,6 @@
-#!/bin/bash -x
+#!/bin/bash
 for f in *.n3
 do
-    eye "$@" --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --nope $f --pass-only-new --output $f.out
+    echo + eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --nope $f --pass-only-new --output $f.out
+    eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --nope $f --pass-only-new --output $f.out
 done
diff --git a/reasoning/test b/reasoning/test
index edaec9402..101153533 100755
--- a/reasoning/test
+++ b/reasoning/test
@@ -10,7 +10,7 @@ FAILED=0
 for dir in */
 do
     pushd "${dir}" > /dev/null
-    ./test "$@" --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01
+    ./test --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01
     if [[ $(git status -s . | wc -l) -ne 0 ]]; then
         echo -e "${RED}FAILED${NORMAL}"
         ((FAILED++))
diff --git a/test b/test
index 154f24f85..e91a778ad 100755
--- a/test
+++ b/test
@@ -1,4 +1,4 @@
 #!/bin/bash
-pushd ~/github.com/eyereasoner/eye/reasoning
+pushd ~/github.com/eyereasoner/eye/reasoning > /dev/null
 ./test
-popd
+popd > /dev/null