Fix crash in benchexec for task with property but without task-definition file
Fixes
@@ -382,7 +382,7 @@ class OutputHandler(object):
run.xml.set(
"propertyFile", util.relative_path(prop.filename, xml_file_name)
)
- expected_result = str(run.expected_results[prop.filename])
+ expected_result = str(run.expected_results.get(prop.filename, ""))
if expected_result:
run.xml.set("expectedVerdict", expected_result)
