- The tests used for PAM talk 1
This commit is contained in:
parent
9a5e9d674a
commit
84689052ac
@ -37,7 +37,7 @@ ScytherProgram = "../src/scyther"
|
||||
# Scyther parameters
|
||||
ScytherDefaults = "--summary"
|
||||
ScytherMethods = "--match=1 --arachne"
|
||||
ScytherBounds = "--timer=100 --max-runs=5 --max-depth=30 --max-length=18"
|
||||
ScytherBounds = "--timer=300 --max-runs=5 --max-depth=25 --max-length=30"
|
||||
|
||||
# Build a large part of the command line (for Scyther) already
|
||||
ScytherArgs = ScytherDefaults + " " + ScytherMethods + " " + ScytherBounds
|
||||
|
Loading…
Reference in New Issue
Block a user