Update gazer-theta.py to use new starter script
@@ -20,7 +20,7 @@ class Tool(benchexec.tools.template.BaseTool2):
REQUIRED_PATHS = [".."]
def executable(self, tool_locator):
- return tool_locator.find_executable("gazer_starter.py", subdir="scripts")
+ return tool_locator.find_executable("gazer-start.sh", subdir="scripts")
def name(self):
return "gazer-theta"
