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.

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

Print only failed invariants #4824

Closed
4 tasks
colin-axner opened this issue Jul 31, 2019 · 0 comments · Fixed by #4832
Closed
4 tasks

Print only failed invariants #4824

colin-axner opened this issue Jul 31, 2019 · 0 comments · Fixed by #4832

Comments

@colin-axner
Copy link
Contributor

Summary

If an invariant breaks, print only failed invariants instead of passing ones as well.

Problem Definition

It isn't 100% necessary to print the passing invariants. We can just print all the failing invariants

Proposal

remove the else if and update format invariant to not print its breaking status


For Admin Use

  • Not duplicate issue
  • Appropriate labels applied
  • Appropriate contributors tagged
  • Contributor assigned/self-assigned
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant