Merge pull request #1123 from nils-loose/patch-1

Update swat.py
sosy-lab · Nov 22, 2024 · b123fc8 · b123fc8
2 parents 72c53f8 + 172e68f
commit b123fc8
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/benchexec/tools/swat.py b/benchexec/tools/swat.py
@@ -18,7 +18,13 @@ class Tool(BaseTool2):
     REQUIRED_PATHS = [
         "knife-fuzzer",
         "local_z3_installation",
+        "libs",
+        "symbolic-executor",
+        "symbolic-explorer",
         "WitnessCreator",
+        "compile-target.sh",
+        ".venv_ubuntu_24_04_1__x86_64",
+        "sv-comp.cfg",
         "run-swat.sh",
         "run_swat.py",
     ]