# 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 22 > ti.out 2>&1
0 scmp ti.std ti.out
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 11 > te.out 2>&1
0 scmp te.std te.out
0 rm -rf jrGen core *.out csp_*.jr pairing.jr
