From 3f00baf08343acac9914717c77080bc1652041b0 Mon Sep 17 00:00:00 2001 From: Denis Buzdalov Date: Fri, 8 Sep 2023 16:27:10 +0300 Subject: [PATCH] [ test ] Adapt to the changed testing dir layout and practices --- tests/allschemes/memo001/expected | 4 +--- tests/allschemes/memo001/input | 2 -- tests/allschemes/memo001/run | 5 ++--- tests/allschemes/memo002/input | 2 -- tests/allschemes/memo003/run | 5 ++--- tests/allschemes/memo004/run | 5 ++--- 6 files changed, 7 insertions(+), 16 deletions(-) delete mode 100644 tests/allschemes/memo001/input delete mode 100644 tests/allschemes/memo002/input diff --git a/tests/allschemes/memo001/expected b/tests/allschemes/memo001/expected index 341a02ebf0c..493d3b8b146 100644 --- 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 deleted file mode 100644 index fc5992c2985..00000000000 --- a/tests/allschemes/memo001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/allschemes/memo001/run b/tests/allschemes/memo001/run index 76b5b96e769..f8843a026dc 100644 --- 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 deleted file mode 100644 index fc5992c2985..00000000000 --- a/tests/allschemes/memo002/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/allschemes/memo003/run b/tests/allschemes/memo003/run index fc11d806136..2faac00933d 100644 --- 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 index fc11d806136..2faac00933d 100644 --- 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