git.iko.soy/Idris-dev
on master help sign in
Merge pull request #867 from david-christiansen/test-case
55e5959Edwin Brady
test/dsl002/run+1−1
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2idris $@ test014.idr -o test014
2idris $@ test014.idr -o test014
3./test014
3./test014
4−rm -f test014 resimp.ibc test014.ibc
4+rm -f test014 Resimp.ibc test014.ibc
test/proof003/run+1−1
@@ -1,4 +1,4 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2idris $@ test015.idr -o test015
2idris $@ test015.idr -o test015
3./test015
3./test015
4−rm -f test015 parity.ibc test015.ibc
4+rm -f test015 Parity.ibc test015.ibc