- Fixed for type flaw matching and more extensive tests.

2004-10-21 15:27:46 +00:00 · 2004-10-21 15:27:46 +00:00 · 738215b876
commit 738215b876
parent 3cda6e53fa
1 changed files with 1 additions and 1 deletions
--- 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 -l20 --summary
+cat $* | ../src/scyther -m1 -a -r4 -l40 --summary