adjust test totality008 with --consolewidth for use with -f curses
commit2a7d6a96b97dac57005c24a433847e77267537b0
authorAndreas Reuleaux <arx@a-rx.info>
dateThu 19 Mar 2015, 18:47 (12 years ago)
parent001fb4a
test/totality008/expected+2−1
@@ -1 +1,2 @@
1−totality008.idr:7:1:Main.ElimT is possibly not total due to: Main.c2
1+totality008.idr:7:1:
2+Main.ElimT is possibly not total due to: Main.c2
test/totality008/run+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−idris $@ totality008.idr --check
2+idris --consolewidth 80 $@ totality008.idr --check
33rm -f *.ibc