adjust test totality002 with --consolewidth for use with -f curses
commitd9482ae69d769298649a2ec770cc56ac27775268
authorAndreas Reuleaux <arx@a-rx.info>
dateThu 19 Mar 2015, 17:33 (12 years ago)
parent6bac17b
test/totality002/expected+4−2
@@ -1,2 +1,4 @@
1−test017a.idr:7:1:scg.vtrans is possibly not total due to recursive path scg.vtrans --> scg.vtrans
2−test017b.idr:4:1:foo.foo is possibly not total due to recursive path foo.foo
1+test017a.idr:7:1:
2+scg.vtrans is possibly not total due to recursive path scg.vtrans --> scg.vtrans
3+test017b.idr:4:1:
4+foo.foo is possibly not total due to recursive path foo.foo
test/totality002/run+3−3
@@ -1,5 +1,5 @@
11#!/usr/bin/env bash
2−idris $@ --check test017.idr
3−idris $@ --check test017a.idr
4−idris $@ --check test017b.idr
2+idris --consolewidth 80 $@ --check test017.idr
3+idris --consolewidth 80 $@ --check test017a.idr
4+idris --consolewidth 80 $@ --check test017b.idr
55rm -f *.ibc