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

0 csp2jr -ti pairing.csp
0 jrc *.jr
0 javac jrGen/*.java
0 jrrun pairing data03 > ti.out 2>&1
0 grep "8 dead" ti.out >/dev/null
0 rm -rf jrGen core *.out csp_*.jr pairing.jr

0 csp2jr -te pairing.csp
0 jrc *.jr
0 javac jrGen/*.java
0 jrrun pairing data03 > 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 pairing.jr
