Add regression test for possibly-null foreign strings in the executor
commit2fe2eca105c6c979df03d358c877460e2a12ee84
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateFri 20 Dec 2013, 20:55 (13 years ago)
parent3e19367
idris.cabal+3
@@ -177,6 +177,9 @@ Extra-source-files:
177177 test/reg024/run
178178 test/reg024/*.idr
179179 test/reg024/expected
180+ test/reg029/run
181+ test/reg029/*.idr
182+ test/reg029/expected
180183 test/test001/run
181184 test/test001/*.idr
182185 test/test001/expected
test/README+1
@@ -37,4 +37,5 @@ Tests:
3737
3838regxxx: various regression tests
3939reg020: working strlen
40+reg029: executor doesn’t crash receiving a NULL String from C
4041
test/reg029/expectednew file+4
@@ -0,0 +1,4 @@
1+Nothing
2+Just "exists!"
3+Nothing
4+Just "exists!"
test/reg029/reg029.idrnew file+10
@@ -0,0 +1,10 @@
1+module Main
2+
3+import System
4+
5+%dynamic "libm"
6+
7+main : IO ()
8+main = do
9+ print !(getEnv "IDRIS_REG029_NONEXISTENT_VAR")
10+ print !(getEnv "IDRIS_REG029_EXISTENT_VAR")
test/reg029/runnew file+5
@@ -0,0 +1,5 @@
1+#!/usr/bin/env bash
2+idris $@ reg029.idr -o reg029
3+env -u IDRIS_REG029_NONEXISTENT_VAR IDRIS_REG029_EXISTENT_VAR='exists!' ./reg029
4+env -u IDRIS_REG029_NONEXISTENT_VAR IDRIS_REG029_EXISTENT_VAR='exists!' idris $@ reg029.idr --exec
5+rm -f reg029 *.ibc