Let newer versions of tbf use given property files
This is currently the case for all versions tagged with 'testcomp',
so use this to differentiate whether parameter '--spec' is viable.
@@ -95,6 +95,10 @@ class Tool(benchexec.tools.template.BaseTool):
else:
options = options + ["--timelimit", str(rlimits[SOFTTIMELIMIT])]
if propertyfile:
+ if 'testcomp' in self.version(executable):
+ options = options + ["--spec", propertyfile]
+
+ else:
logging.warning('Propertyfile given, but tbf ignores property files'
' and always checks for calls to __VERIFIER_error()')
