Skip to content

Commit

Permalink
[ test ] Adapt to the changed testing dir layout and practices
Browse files Browse the repository at this point in the history
  • Loading branch information
buzden committed Sep 8, 2023
1 parent 0f91249 commit 3f00baf
Show file tree
Hide file tree
Showing 6 changed files with 7 additions and 16 deletions.
4 changes: 1 addition & 3 deletions tests/allschemes/memo001/expected
Original file line number Diff line number Diff line change
@@ -1,3 +1 @@
1/1: Building Memo (Memo.idr)
Main> 100000000000000000000
Main> Bye for now!
100000000000000000000
2 changes: 0 additions & 2 deletions tests/allschemes/memo001/input

This file was deleted.

5 changes: 2 additions & 3 deletions tests/allschemes/memo001/run
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
rm -rf build

$1 --no-banner --no-color --console-width 0 Memo.idr < input
. ../../testutils.sh

run Memo.idr
2 changes: 0 additions & 2 deletions tests/allschemes/memo002/input

This file was deleted.

5 changes: 2 additions & 3 deletions tests/allschemes/memo003/run
Original file line number Diff line number Diff line change
@@ -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
5 changes: 2 additions & 3 deletions tests/allschemes/memo004/run
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit 3f00baf

Please sign in to comment.