Skip to content

Add data race verdicts

Frank Schüssele requested to merge fix-data-races-1359-1360 into main

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

Merge request reports