Update required paths for CPV

CPV now uses CoVeriTeam for invoking hardware verifiers
sosy-lab · Nov 8, 2023 · 5be4013 · 5be4013
1 parent 6c698d2
commit 5be4013
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/benchexec/tools/cpv.py b/benchexec/tools/cpv.py
@@ -17,8 +17,9 @@ class Tool(benchexec.tools.template.BaseTool2):
 
     REQUIRED_PATHS = [
         "bin/",
-        "hw-verifiers/",
+        "cpv/",
         "kratos2/",
+        "lib/",
         "witness.tmpl",
     ]