Skip to content

Remove category NoDataRace from UAutomizer validator for correctness witnesses

Dirk Beyer requested to merge ultimate-not-nodatarace-for-correctness into main

Ultimate Automizer does not work well for property no-data-race. Thus, remove the category from its benchmark definition.

Merge request reports