adjust tests with --consolewidth for use with -f curses
commit6bac17b37dd608ddb191727c70418eca94495757
authorAndreas Reuleaux <arx@a-rx.info>
dateThu 19 Mar 2015, 17:24 (12 years ago)
parent8ab6bea
test/reg056/run+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−idris $@ reg056.idr -o reg056
2+idris --consolewidth 80 $@ reg056.idr -o reg056
33rm -f *.ibc
test/totality001/expected+6−3
@@ -1,3 +1,6 @@
1−test010.idr:15:1:Main.foo is possibly not total due to: Main.MkBad
2−test010a.idr:9:1:main.bar is possibly not total due to: main.MkBad
3−test010b.idr:9:1:main.bar is possibly not total due to: main.MkBad
1+test010.idr:15:1:
2+Main.foo is possibly not total due to: Main.MkBad
3+test010a.idr:9:1:
4+main.bar is possibly not total due to: main.MkBad
5+test010b.idr:9:1:
6+main.bar is possibly not total due to: main.MkBad
test/totality001/run+3−3
@@ -1,6 +1,6 @@
11#!/usr/bin/env bash
2−idris $@ --check test010.idr
3−idris $@ --check test010a.idr
4−idris $@ --check test010b.idr
2+idris --consolewidth 80 $@ --check test010.idr
3+idris --consolewidth 80 $@ --check test010a.idr
4+idris --consolewidth 80 $@ --check test010b.idr
55
66rm -f *.ibc