From 84689052ac01ecf4886ec0c345c597962518ebe3 Mon Sep 17 00:00:00 2001 From: ccremers Date: Tue, 11 Jan 2005 10:12:01 +0000 Subject: [PATCH] - The tests used for PAM talk 1 --- spdl/multiprotocoltest.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spdl/multiprotocoltest.py b/spdl/multiprotocoltest.py index 4c3b4c0..b7f675d 100755 --- a/spdl/multiprotocoltest.py +++ b/spdl/multiprotocoltest.py @@ -37,7 +37,7 @@ ScytherProgram = "../src/scyther" # Scyther parameters ScytherDefaults = "--summary" ScytherMethods = "--match=1 --arachne" -ScytherBounds = "--timer=100 --max-runs=5 --max-depth=30 --max-length=18" +ScytherBounds = "--timer=300 --max-runs=5 --max-depth=25 --max-length=30" # Build a large part of the command line (for Scyther) already ScytherArgs = ScytherDefaults + " " + ScytherMethods + " " + ScytherBounds