Add data race verdicts
This MR adds verdicts for the data races that are mentioned in #1359 (closed) (which also applies to reorder_5.yml
) the and #1360 (closed), therefore it fixes #1359 (closed), #1360 (closed). Since these benchmarks have data races, all other properties are removed.
For the three affected tasks, we now have three variants:
- One where data-races and memsafety are fixed, and has therefore the original properties (with the original file-name)
- One where only the data-race is fixed, but where a invalid dereference is still possible (added in !1414 (merged), with the suffix
-2
) - One where only the invalid dereference is fixed, but there is still a data-race (new files, with the suffix
-3
)
Edited by Frank Schüssele