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

- 20 minutes should be a reasonable time bound...

Browse Source
This commit is contained in:
ccremers 2005-03-14 12:16:48 +00:00
parent 3e9b4e2c41
commit 3a53ca3e6b
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
test/scythertest.py
View File

@ -79,7 +79,6 @@ def add_extra_parameters(args):
# 1: thorough # 1: thorough
# #
def default_arguments(plist,match,bounds): def default_arguments(plist,match,bounds):
timer = 0
n = 2 + bounds n = 2 + bounds
# These bounds assume at least two protocols, otherwise # These bounds assume at least two protocols, otherwise
# stuff breaks. # stuff breaks.
@ -99,7 +98,7 @@ def default_arguments(plist,match,bounds):
maxruns = 3*nmin maxruns = 3*nmin
maxlength = 4 + maxruns * 6 maxlength = 4 + maxruns * 6
elif bounds == 2: elif bounds == 2:
timer = 0 timer = 20 * 60 # 20 minutes
maxruns = 3*nmin maxruns = 3*nmin
maxlength = 4 + maxruns * 6 maxlength = 4 + maxruns * 6
else: else: