Enabled reg052 in travis and update its output
commit7a30e5d90be738cf3b1dfc9578b7ed37f4524232
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 7 Oct 2014, 17:35 (12 years ago)
parent7dfbfac
idris.cabal+3
@@ -267,6 +267,9 @@ Extra-source-files:
267267 test/reg051/run
268268 test/reg051/*.idr
269269 test/reg051/expected
270+ test/reg052/run
271+ test/reg052/*.idr
272+ test/reg052/expected
270273
271274 test/basic001/run
272275 test/basic001/*.idr
test/reg052/expected+1−1
@@ -1 +1 @@
1−42
1+000000000000002A