andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Better test setup. Still not very good, though.

Browse Source
This commit is contained in:
ccremers 2005-03-02 15:29:46 +00:00
parent 9c05d2ac3a
commit f4c80a3599
1 changed files with 17 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
test/multiprotocoltest.py
View File

@ -28,11 +28,25 @@ import scythercache
from tempfile import NamedTemporaryFile from tempfile import NamedTemporaryFile
# *********************** # ***********************
# PARAMETERS # EXPERIMENTS
# *********************** # ***********************
# Tuple width (number of concurrent protocols) ### Test 0-2
###------------------------------------------------------------------
TupleWidth = "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 # Temporary files
TempFileList = "scyther-blap.tmp" TempFileList = "scyther-blap.tmp"
@ -43,8 +57,6 @@ TupleProgram = "./tuples.py"
# Scyther parameters # Scyther parameters
ScytherDefaults = "--summary" 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 # Build a large part of the command line (for Scyther) already
ScytherArgs = ScytherDefaults + " " + ScytherMethods + " " + ScytherBounds ScytherArgs = ScytherDefaults + " " + ScytherMethods + " " + ScytherBounds