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

parapluu / Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

http://parapluu.github.io/Concuerror

BSD 2-Clause "Simplified" License

333 stars 41 forks source link

Closed aronisstav closed 6 years ago

aronisstav commented 7 years ago

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

aronisstav commented 7 years ago

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

Migrated to aronisstav/Concuerror#25.