From f4c80a35997fb90b10b615e0b0f7ac8b93a24557 Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 2 Mar 2005 15:29:46 +0000 Subject: [PATCH] - Better test setup. Still not very good, though. --- test/multiprotocoltest.py | 22 +++++++++++++++++----- 1 file changed, 17 insertions(+), 5 deletions(-) diff --git a/test/multiprotocoltest.py b/test/multiprotocoltest.py index 96e98ad..daad71f 100755 --- a/test/multiprotocoltest.py +++ b/test/multiprotocoltest.py @@ -28,11 +28,25 @@ import scythercache from tempfile import NamedTemporaryFile # *********************** -# PARAMETERS +# EXPERIMENTS # *********************** -# Tuple width (number of concurrent protocols) -TupleWidth = "2" +### Test 0-2 +###------------------------------------------------------------------ +TupleWidth = "2" +ScytherMethods = "--match=0 --arachne" +ScytherBounds = "--timer=5 --max-runs=5 --max-length=20" + +### Test 1-2 +###------------------------------------------------------------------ +#TupleWidth = "2" +#ScytherMethods = "--match=1 --arachne" +#ScytherBounds = "--timer=5 --max-runs=5 --max-length=20" + + +# *********************** +# PARAMETERS +# *********************** # Temporary files TempFileList = "scyther-blap.tmp" @@ -43,8 +57,6 @@ TupleProgram = "./tuples.py" # Scyther parameters ScytherDefaults = "--summary" -ScytherMethods = "--match=1 --arachne" -ScytherBounds = "--timer=5 --max-runs=5 --max-length=20" # Build a large part of the command line (for Scyther) already ScytherArgs = ScytherDefaults + " " + ScytherMethods + " " + ScytherBounds