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

- Fixed outputting the command string. Broken bij the previous work.

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

2
test/multiprotocoltest.py
View File

@ -48,7 +48,7 @@ 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
CommandPrefix = "scyther " CommandPrefix = "scyther " + ScytherArgs
# Some default settings for Agents, untrusted e with sk(e) and k(a,e) etc. # Some default settings for Agents, untrusted e with sk(e) and k(a,e) etc.
IncludeProtocols = '../spdl/spdl-defaults.inc' IncludeProtocols = '../spdl/spdl-defaults.inc'