From 5e781721622c644325973c5ed67c4fcebc02cbbd Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 5 Jan 2005 15:45:26 +0000 Subject: [PATCH] - Added timer constraints to the multi-protocol test. --- spdl/multiprotocoltest.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spdl/multiprotocoltest.py b/spdl/multiprotocoltest.py index 27aad90..4c3b4c0 100755 --- a/spdl/multiprotocoltest.py +++ b/spdl/multiprotocoltest.py @@ -36,8 +36,8 @@ ScytherProgram = "../src/scyther" # Scyther parameters ScytherDefaults = "--summary" -ScytherMethods = "-m1 -a" -ScytherBounds = "-r4 --max-depth=20 -l15" +ScytherMethods = "--match=1 --arachne" +ScytherBounds = "--timer=100 --max-runs=5 --max-depth=30 --max-length=18" # Build a large part of the command line (for Scyther) already ScytherArgs = ScytherDefaults + " " + ScytherMethods + " " + ScytherBounds