adjust test totality003 with --consolewidth for use with -f curses
commitc193a40710b1538f6ed0bd54b7752f8f6bcb8aee
authorAndreas Reuleaux <arx@a-rx.info>
dateThu 19 Mar 2015, 17:44 (12 years ago)
parentd9482ae
test/totality003/expected+2−1
@@ -1 +1,2 @@
1−totality003a.idr:5:1:smaller.qsort is possibly not total due to recursive path smaller.qsort --> smaller.qsort --> smaller.qsort
1+totality003a.idr:5:1:
2+smaller.qsort is possibly not total due to recursive path smaller.qsort --> smaller.qsort --> smaller.qsort
test/totality003/run+2−2
@@ -1,4 +1,4 @@
11#!/usr/bin/env bash
2−idris $@ totality003.idr --check
3−idris $@ totality003a.idr --check
2+idris --consolewidth 80 $@ totality003.idr --check
3+idris --consolewidth 80 $@ totality003a.idr --check
44rm -f *.ibc