Add file that should be deployed to REQUIRED_PATHS, for JPF
@@ -28,7 +28,8 @@ class Tool(benchexec.tools.template.BaseTool):
REQUIRED_PATHS = [
"../bin",
- "../build"
+ "../build",
+ "../jpf.properties"
]
def executable(self):
return util.find_executable('bin/jpf-core-sv-comp')
