# 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 > 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 jrrun pair > te.out 2>&1
# number blocked and dead are non-deterministic, so here's a weak test.
0 grep -v "0 alive" te.out >/dev/null
0 rm -rf jrGen core *.out csp_*.jr pair.jr
