diff --git a/spdl/test-clp.sh b/spdl/test-clp.sh index 81ab401..1a589ef 100755 --- a/spdl/test-clp.sh +++ b/spdl/test-clp.sh @@ -1,12 +1,12 @@ #!/bin/sh -../scyther -d -p0 -m2 -t2 -r 2 brutus-m2-t2-r2.out -../scyther -d -p0 -m2 -t2 -r 3 brutus-m2-t2-r3.out -../scyther -d -p0 -m2 -t2 -r 4 brutus-m2-t2-r4.out -../scyther -d -p0 -m2 -t2 -r 5 brutus-m2-t2-r5.out -../scyther -d -p0 -m2 -t2 -r 6 brutus-m2-t2-r6.out +../src/scyther -d -p0 -m2 -t2 -r 2 brutus-m2-t2-r2.out +../src/scyther -d -p0 -m2 -t2 -r 3 brutus-m2-t2-r3.out +../src/scyther -d -p0 -m2 -t2 -r 4 brutus-m2-t2-r4.out +../src/scyther -d -p0 -m2 -t2 -r 5 brutus-m2-t2-r5.out +../src/scyther -d -p0 -m2 -t2 -r 6 brutus-m2-t2-r6.out -../scyther -d -p0 -m2 -t1 -r 2 brutus-m2-t1-r2.out -../scyther -d -p0 -m2 -t1 -r 3 brutus-m2-t1-r3.out -../scyther -d -p0 -m2 -t1 -r 4 brutus-m2-t1-r4.out -../scyther -d -p0 -m2 -t1 -r 5 brutus-m2-t1-r5.out +../src/scyther -d -p0 -m2 -t1 -r 2 brutus-m2-t1-r2.out +../src/scyther -d -p0 -m2 -t1 -r 3 brutus-m2-t1-r3.out +../src/scyther -d -p0 -m2 -t1 -r 4 brutus-m2-t1-r4.out +../src/scyther -d -p0 -m2 -t1 -r 5 brutus-m2-t1-r5.out diff --git a/spdl/test.sh b/spdl/test.sh index 4118f29..16eabf6 100755 --- a/spdl/test.sh +++ b/spdl/test.sh @@ -1,18 +1,18 @@ #!/bin/sh -../scyther -d -p0 -t4 -r 2 brutus-t4-r2.out -../scyther -d -p0 -t4 -r 3 brutus-t4-r3.out -../scyther -d -p0 -t4 -r 4 brutus-t4-r4.out -../scyther -d -p0 -t4 -r 5 brutus-t4-r5.out -../scyther -d -p0 -t4 -r 6 brutus-t4-r6.out +../src/scyther -d -p0 -t4 -r 2 brutus-t4-r2.out +../src/scyther -d -p0 -t4 -r 3 brutus-t4-r3.out +../src/scyther -d -p0 -t4 -r 4 brutus-t4-r4.out +../src/scyther -d -p0 -t4 -r 5 brutus-t4-r5.out +../src/scyther -d -p0 -t4 -r 6 brutus-t4-r6.out -../scyther -d -p0 -t2 -r 2 brutus-t2-r2.out -../scyther -d -p0 -t2 -r 3 brutus-t2-r3.out -../scyther -d -p0 -t2 -r 4 brutus-t2-r4.out -../scyther -d -p0 -t2 -r 5 brutus-t2-r5.out -../scyther -d -p0 -t2 -r 6 brutus-t2-r6.out +../src/scyther -d -p0 -t2 -r 2 brutus-t2-r2.out +../src/scyther -d -p0 -t2 -r 3 brutus-t2-r3.out +../src/scyther -d -p0 -t2 -r 4 brutus-t2-r4.out +../src/scyther -d -p0 -t2 -r 5 brutus-t2-r5.out +../src/scyther -d -p0 -t2 -r 6 brutus-t2-r6.out -../scyther -d -p0 -t1 -r 2 brutus-t1-r2.out -../scyther -d -p0 -t1 -r 3 brutus-t1-r3.out -../scyther -d -p0 -t1 -r 4 brutus-t1-r4.out -../scyther -d -p0 -t1 -r 5 brutus-t1-r5.out +../src/scyther -d -p0 -t1 -r 2 brutus-t1-r2.out +../src/scyther -d -p0 -t1 -r 3 brutus-t1-r3.out +../src/scyther -d -p0 -t1 -r 4 brutus-t1-r4.out +../src/scyther -d -p0 -t1 -r 5 brutus-t1-r5.out diff --git a/src/cetest-cm.sh b/src/cetest-cm.sh index 6ec0a61..bdc7481 100755 --- a/src/cetest-cm.sh +++ b/src/cetest-cm.sh @@ -2,5 +2,5 @@ # # Test conform ce stuff, but our version # -./scyther -r5 $* $outfile.tex + ./scyther --latex $file -o $outfile.tex latex $outfile.tex xdvi $outfile.dvi else