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

- Added timer constraints to the multi-protocol test.

Browse Source
This commit is contained in:
ccremers 2005-01-05 15:45:26 +00:00
parent ec86107800
commit 5e78172162
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
spdl/multiprotocoltest.py
View File

@ -36,8 +36,8 @@ ScytherProgram = "../src/scyther"
# Scyther parameters # Scyther parameters
ScytherDefaults = "--summary" ScytherDefaults = "--summary"
ScytherMethods = "-m1 -a" ScytherMethods = "--match=1 --arachne"
ScytherBounds = "-r4 --max-depth=20 -l15" ScytherBounds = "--timer=100 --max-runs=5 --max-depth=30 --max-length=18"
# 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