removed examples and config from the required folders
@@ -20,15 +20,11 @@ class Tool(benchexec.tools.template.BaseTool):
"""
# TODO: I am not sure about the following folders:
- # 1. examples and config: should be included or not? It can also be dealt with the required files tag in the behchdef.
- # 2. tools and toolinfocache: these are cache folders. Isn't it better just to wrap them in one folder called cache?
- # To be resolved before the final merge.
+ # tools and toolinfocache: these are cache folders. Isn't it better just to wrap them in one folder called cache?
REQUIRED_PATHS = [
"coveriteam",
"bin",
"lib",
- "examples",
- "config",
"tools",
"toolinfocache",
]
