Add forgotten program file for deployment
@@ -19,6 +19,10 @@ yogar_cbmc = __import__("benchexec.tools.yogar-cbmc", fromlist=["Tool"])
class Tool(yogar_cbmc.Tool):
+ REQUIRED_PATHS = [
+ "yogar-cbmc"
+ ]
+
def executable(self):
return util.find_executable('yogar-cbmc-parallel')
