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

Fix caching discrepancy when relying on Scyther default options.

Browse Source
This commit is contained in:
Cas Cremers 2010-12-26 23:09:30 +01:00
parent dd49526e02
commit a21aeccad0
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gui/test-mpa.py
View File

@ -178,6 +178,15 @@ def MyScyther(protocollist,filt=None,options=[]):
# Standard # Standard
opts = OPTS.defoptarray + options opts = OPTS.defoptarray + options
# Cover for caching issue where no --match= option is given (default to 0)
matchfound = False
for opt in opts:
if opt.startswith("--match="):
matchfound = True
break
if not matchfound:
opts.append("--match=0")
# Adding other command-line parameters (i.e. with arguments) # Adding other command-line parameters (i.e. with arguments)
opts.append("-T %i" % (int(OPTS.timeout))) opts.append("-T %i" % (int(OPTS.timeout)))
opts.append("--max-runs=%i" % (int(OPTS.maxruns))) opts.append("--max-runs=%i" % (int(OPTS.maxruns)))