search

aronisstav / Concuerror

OFFICIAL REPOSITORY MOVED:
https://github.com/parapluu/Concuerror
BSD 2-Clause "Simplified" License
1 stars 0 forks source link

--show_races values should be 'all', 'error' and 'false' #25

Open aronisstav opened 6 years ago

aronisstav commented 6 years ago

Migrating parapluu/Concuerror#119.

Original text:

--show_races shows all races everywhere, and maybe it should only show races in erroneous interleavings.

Also it shows 'new' races only (i.e., races that add new interleavings) and if the 'error' option is used it should show all of them.

aronisstav commented 6 years ago

Basically: be prepared to always show all races, regardless of whether they create new schedulings, and actually show them in all error or never.