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

- Some compatibility fixes.

Browse Source
This commit is contained in:
ccremers 2006-02-23 10:49:06 +00:00
parent f333fb8276
commit 24832d641d
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
test/scythertest.py
View File

@ -4,6 +4,7 @@
# #
# Standard tests # Standard tests
# #
import os
import sys import sys
from optparse import OptionParser from optparse import OptionParser
from scythercache import evaluate, scytheroverride, cacheoverride from scythercache import evaluate, scytheroverride, cacheoverride
@ -51,7 +52,8 @@ def parse(scout):
# Yield default protocol list (from any other one) # Yield default protocol list (from any other one)
def default_protocols(plist): def default_protocols(plist):
plist.sort() plist.sort()
return ['/home/cas/svn/ecss/protocols/spdl/spdl-defaults.inc'] + plist defaults = os.path.expanduser("~/svn/ecss/protocols/spdl/misc/spdl-defaults.inc")
return [defaults] + plist
# Get the extra parameters # Get the extra parameters
def get_extra_parameters(): def get_extra_parameters():
@ -109,8 +111,11 @@ def default_arguments(plist,match,bounds):
if timer > 0: if timer > 0:
args = args + " --timer=%i" % timer args = args + " --timer=%i" % timer
args = args + " --max-runs=%i --max-length=%i" % (maxruns, maxlength) args = args + " --max-runs=%i --max-length=%i" % (maxruns, maxlength)
matching = "--match=" + str(match)
args = "--plain " + matching + " " + args if int(match) > 0:
args += " --untyped"
args += " --plain"
extra = get_extra_parameters() extra = get_extra_parameters()
if extra != "": if extra != "":