scyther/src/cetest.sh
2004-04-23 12:59:25 +00:00

11 lines
336 B
Bash
Executable File

#!/bin/sh
#
# Test conform ce stuff.
#
./scyther -r6 $* ../spdl/bkepk-ce.spdl
./scyther -r7 $* ../spdl/bkepk-ce.spdl | tail -n 1
./scyther -r8 $* ../spdl/bkepk-ce.spdl | tail -n 1
./scyther -r7 $* ../spdl/bkepk-ce2.spdl | tail -n 1
./scyther -r8 $* ../spdl/bkepk-ce2.spdl | tail -n 1
./scyther -r9 $* ../spdl/bkepk-ce2.spdl | tail -n 1