Running Idris2 tests

result.txt

✔ ~/Downloads/Projects/Idris2 [master|✚ 1…234]
08:53 $ make
idris --build idris2.ipkg
Entering directory `./src'
Leaving directory `./src'
idris --build tests.ipkg
Entering directory `./tests'
Leaving directory `./tests'
make -C tests
../runtests ../../../idris2
ttimp/basic001: success
ttimp/basic002: success
ttimp/basic003: success
ttimp/basic004: success
ttimp/basic005: success
ttimp/basic006: success
ttimp/coverage001: success
ttimp/coverage002: success
ttimp/dot001: success
ttimp/eta001: success
ttimp/eta002: success
ttimp/lazy001: success
ttimp/nest001: success
ttimp/nest002: success
ttimp/perf001: success
ttimp/perf002: success
ttimp/perf003: success
ttimp/record001: success
ttimp/record002: success
ttimp/rewrite001: success
ttimp/qtt001: success
ttimp/qtt002: success
ttimp/qtt003: success
ttimp/search001: success
ttimp/search002: success
ttimp/search003: success
ttimp/search004: success
ttimp/search005: success
ttimp/total001: success
ttimp/total002: success
ttimp/total003: success
ttimp/with001: success
idris2/basic001: success
idris2/basic002: success
idris2/basic003: success
idris2/basic004: success
idris2/basic005: success
idris2/basic006: success
idris2/basic007: success
idris2/basic008: success
idris2/basic009: success
idris2/basic010: success
idris2/basic011: FAILURE
idris2/basic012: FAILURE
idris2/basic013: FAILURE
idris2/basic014: FAILURE
idris2/basic015: FAILURE
idris2/basic016: FAILURE
idris2/basic017: FAILURE
idris2/basic018: FAILURE
idris2/basic019: FAILURE
idris2/basic020: FAILURE
idris2/basic021: FAILURE
idris2/basic022: FAILURE
idris2/basic023: FAILURE
idris2/basic024: FAILURE
idris2/coverage001: FAILURE
idris2/coverage002: FAILURE
sh: ./run: No such file or directory
sh: ./run: No such file or directory
idris2/coverage003: File Not Foundidris2/coverage004: File Not Foundidris2/error001: FAILURE
idris2/error002: FAILURE
idris2/error003: FAILURE
idris2/error004: FAILURE
idris2/error005: FAILURE
idris2/error006: FAILURE
idris2/error007: FAILURE
idris2/error008: success
idris2/error009: FAILURE
idris2/import001: success
idris2/import002: success
idris2/interactive001: FAILURE
idris2/interactive002: FAILURE
idris2/interactive003: FAILURE
idris2/interactive004: FAILURE
idris2/interactive005: FAILURE
idris2/interactive006: FAILURE
idris2/interactive007: FAILURE
idris2/interactive008: FAILURE
idris2/interactive009: FAILURE
idris2/interactive010: FAILURE
idris2/interactive011: FAILURE
idris2/interactive012: FAILURE
idris2/interface001: success
idris2/interface002: success
idris2/interface003: FAILURE
idris2/interface004: FAILURE
idris2/interface005: FAILURE
idris2/lazy001: success
idris2/linear001: success
idris2/linear002: success
idris2/linear003: success
idris2/linear004: success
idris2/linear005: FAILURE
idris2/perror001: success
idris2/perror002: success
idris2/perror003: success
idris2/perror004: success
idris2/perror005: success
idris2/perror006: success
idris2/record001: FAILURE
idris2/record002: FAILURE
idris2/total001: FAILURE
idris2/total002: FAILURE
idris2/total003: FAILURE
idris2/total004: FAILURE
idris2/total005: FAILURE
idris2/total006: FAILURE
typedd-book/chapter01: FAILURE
typedd-book/chapter02: FAILURE
typedd-book/chapter03: FAILURE
typedd-book/chapter04: FAILURE
typedd-book/chapter05: FAILURE
typedd-book/chapter06: FAILURE
typedd-book/chapter07: FAILURE
typedd-book/chapter08: FAILURE
typedd-book/chapter09: FAILURE
typedd-book/chapter10: FAILURE
typedd-book/chapter11: FAILURE
Found Chez Scheme at /usr/local/bin/chez
chez/chez001: FAILURE
chez/chez002: FAILURE
chez/chez003: FAILURE
chez/chez004: FAILURE
chez/chez005: FAILURE
chez/chez006: FAILURE
chez/chez007: FAILURE
58/126 tests successful
make[1]: *** [test] Error 1
make: *** [test] Error 2