[ test ] Adapt to the changed testing dir layout and practices

idris-lang · Sep 26, 2023 · 21079da · 21079da
1 parent f01e294
commit 21079da
Show file tree

Hide file tree

Showing 6 changed files with 7 additions and 16 deletions.
diff --git a/tests/allschemes/memo001/expected b/tests/allschemes/memo001/expected
@@ -1,3 +1 @@
-1/1: Building Memo (Memo.idr)
-Main> 100000000000000000000
-Main> Bye for now!
+100000000000000000000
diff --git a/tests/allschemes/memo001/input b/tests/allschemes/memo001/input
diff --git a/tests/allschemes/memo001/run b/tests/allschemes/memo001/run
@@ -1,4 +1,3 @@
-rm -rf build
-
-$1 --no-banner --no-color --console-width 0 Memo.idr < input
+. ../../testutils.sh
 
+run Memo.idr
diff --git a/tests/allschemes/memo002/input b/tests/allschemes/memo002/input
diff --git a/tests/allschemes/memo003/run b/tests/allschemes/memo003/run
@@ -1,4 +1,3 @@
-rm -rf build
-
-$1 --no-banner --no-color --console-width 0 --find-ipkg --exec main Memo.idr
+. ../../testutils.sh
 
+run --find-ipkg Memo.idr
diff --git a/tests/allschemes/memo004/run b/tests/allschemes/memo004/run
@@ -1,4 +1,3 @@
-rm -rf build
-
-$1 --no-banner --no-color --console-width 0 --find-ipkg --exec main Memo.idr
+. ../../testutils.sh
 
+run --find-ipkg Memo.idr