diff --git a/spdl/mp.sh b/spdl/mp.sh index 00d2ed3..16f4d8f 100755 --- a/spdl/mp.sh +++ b/spdl/mp.sh @@ -6,4 +6,4 @@ # limit number of runs to 5 ulimit -v 100000 -cat $* | ../src/scyther -a -r3 +cat $* | ../src/scyther -a -r3 --summary