refreshing

eyereasoner · Dec 30, 2024 · dec91a8 · dec91a8
1 parent 0f9509f
commit dec91a8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/logic-programming/test b/logic-programming/test
@@ -24,7 +24,7 @@ pad () {
 begin=$(($(date +%s)))
 for file in *.pl
 do
-    echo -en "$(pad "${file}" -24)"
+    echo -en "$(pad "${file}" -26)"
     start=$(($(date +%s%N)/1000000))
     eye --quiet --logic-program "${file}" > output/${file}
     end=$(($(date +%s%N)/1000000))

diff --git a/reasoning/test b/reasoning/test
@@ -25,7 +25,7 @@ begin=$(($(date +%s)))
 for dir in */
 do
     pushd "${dir}" > /dev/null
-    echo -en "$(pad "${file}${dir}" -24)"
+    echo -en "$(pad "${file}${dir}" -26)"
     start=$(($(date +%s%N)/1000000))
     ./test > /dev/null
     end=$(($(date +%s%N)/1000000))