divine4: add missing required path
@@ -19,7 +19,7 @@ class Tool(benchexec.tools.template.BaseTool2):
"""
BINS = ["divine", "divine-svc"]
- REQUIRED_PATHS = BINS + ["lib"]
+ REQUIRED_PATHS = BINS + ["lib", "utils"]
RESMAP = {
"true": result.RESULT_TRUE_PROP,
"false": result.RESULT_FALSE_REACH,
