From 470da107453812fb6d7bd764032cf6de0acd762e Mon Sep 17 00:00:00 2001 From: ccremers Date: Fri, 4 Mar 2005 15:36:37 +0000 Subject: [PATCH] - Applied renaming through to other scripts. --- test/multiprotocoltest.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/test/multiprotocoltest.py b/test/multiprotocoltest.py index 17f2877..43e706b 100755 --- a/test/multiprotocoltest.py +++ b/test/multiprotocoltest.py @@ -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")