From 738215b876ce005f47a9a1c5720be50f68cabd5f Mon Sep 17 00:00:00 2001 From: ccremers Date: Thu, 21 Oct 2004 15:27:46 +0000 Subject: [PATCH] - Fixed for type flaw matching and more extensive tests. --- spdl/mp.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spdl/mp.sh b/spdl/mp.sh index da45c62..5975a1a 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 -l20 --summary +cat $* | ../src/scyther -m1 -a -r4 -l40 --summary