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

- Applied renaming through to other scripts.

Browse Source
This commit is contained in:
ccremers 2005-03-04 15:36:37 +00:00
parent ae343413e5
commit 470da10745
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
test/multiprotocoltest.py
View File

@ -35,7 +35,7 @@ from tempfile import NamedTemporaryFile
from optparse import OptionParser
import tuplesdo
import scyther
import scythertest
import protocollist
@ -126,13 +126,13 @@ def ScytherEval (plist):
sys.stdout.flush()
sys.stderr.flush()
args = scyther.default_arguments(plist, options.match, options.bounds)
args = scythertest.default_arguments(plist, options.match, options.bounds)
n = len(plist)
if not (n,args) in ArgumentsList:
ArgumentsList.append((n,args))
print "Testing",n,"tuples using",args
return scyther.default_parsed(plist, options.match, options.bounds)
return scythertest.default_parsed(plist, options.match, options.bounds)
# ScytherEval1
#
@ -388,7 +388,7 @@ def SignalAttack (protocols, claim):
# Furthermore, TempFileList is created.
parser = OptionParser()
scyther.default_options(parser)
scythertest.default_options(parser)
parser.add_option("-t","--tuplewidth", dest="tuplewidth",
default = 2,
help = "number of concurrent protocols to test, >=2")