Merge pull request #957 from felixmaechtle/patch-1

Update swat module-info

benchexec/tools/swat.py

@@ -15,14 +15,25 @@ class Tool(BaseTool2):
     SWAT is currently being developed by the Institute for IT Security at the University of Luebeck.
     """
 
+    REQUIRED_PATHS = [
+        "knife-fuzzer",
+        "local_z3_installation",
+        "WitnessCreator",
+        "run-swat.sh",
+        "run_swat.py",
+    ]
+
     def executable(self, tool_locator):
         return tool_locator.find_executable("run-swat.sh")
 
     def name(self):
         return "SWAT"
 
     def project_url(self):
-        return "https://www.its.uni-luebeck.de/en/institute.html"
+        return "https://www.its.uni-luebeck.de/en/research/tools/swat/"
+
+    def version(self, executable):
+        return self._version_from_tool(executable, arg="-v")
 
     def cmdline(self, executable, options, task, rlimits):
         cmd = [executable] + options