specify data dir when trying to get version to avoid creation of default folder "workspace"
@@ -71,14 +71,16 @@ class UltimateTool(benchexec.tools.template.BaseTool):
return util.find_executable('Ultimate.py')
def _ultimate_version(self, executable):
- launcher_jar = os.path.join(os.path.dirname(executable), _LAUNCHER_JAR)
+ ultimatedir = os.path.dirname(executable)
+ launcher_jar = os.path.join(ultimatedir, _LAUNCHER_JAR)
+ data_dir = os.path.join(ultimatedir, 'data')
if not os.path.isfile(launcher_jar):
logging.warning('Cannot find {0} to determine Ultimate version'.
format(_LAUNCHER_JAR))
return ''
try:
- process = subprocess.Popen(["java", "-jar", launcher_jar, "--version"],
+ process = subprocess.Popen(["java", "-jar", launcher_jar, "-data", data_dir, "--version"],
stdout=subprocess.PIPE, stderr=subprocess.PIPE)
(stdout, stderr) = process.communicate()
except OSError as e:
