# too non-deterministic, so just quick sanity check on output

0 csp2jr -ti pair.csp
0 jrc *.jr
0 javac jrGen/*.java
0 jrrun pair aa ccc dddd > ti.out 2>&1
0 grep "3 command line args" ti.out >/dev/null
0 grep "arg 0 aa" ti.out >/dev/null
0 grep "arg 1 ccc" ti.out >/dev/null
0 grep "arg 2 dddd" ti.out >/dev/null
0 grep "10 dead" ti.out >/dev/null
0 rm -rf jrGen core *.out csp_*.jr pair.jr

0 csp2jr -te pair.csp
0 jrc *.jr
0 javac jrGen/*.java
0 jrrun pair aa ccc dddd > te.out 2>&1
0 grep "3 command line args" te.out >/dev/null
0 grep "arg 0 aa" te.out >/dev/null
0 grep "arg 1 ccc" te.out >/dev/null
0 grep "arg 2 dddd" te.out >/dev/null
0 grep "10 dead" te.out >/dev/null
0 rm -rf jrGen core *.out csp_*.jr pair.jr
