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

0 csp2jr -ti pair.csp
0 jrc *.jr
0 javac jrGen/*.java
0 cd jrGen
0 jr_rmic
0 cd ..
0 jrrun pair > ti.out 2>&1
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 cd jrGen
0 jr_rmic
0 cd ..
0 jrrun pair > te.out 2>&1
0 grep "10 dead" te.out >/dev/null
0 rm -rf jrGen core *.out csp_*.jr pair.jr
