Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open
aronisstav opened this issue Feb 21, 2018 · 1 comment
Open

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

aronisstav opened this issue Feb 21, 2018 · 1 comment
Milestone
1.0.0

Comments

@aronisstav
Copy link
Owner

aronisstav commented Feb 21, 2018 •
edited
Loading

Migrating parapluu#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 aronisstav mentioned this issue Feb 21, 2018
Closed
@aronisstav
Copy link
Owner Author

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

@aronisstav aronisstav added this to the 1.0.0 milestone Jul 18, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
1.0.0
Development

No branches or pull requests
1 participant
@aronisstav