refreshing

eyereasoner · Oct 15, 2023 · fb2cbe0 · fb2cbe0
1 parent 775ebb9
commit fb2cbe0
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 7 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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