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

New rules to require explicit else in conditional statements, and default in case statements. #125

Merged
merged 4 commits into from
Feb 8, 2022

Conversation

DaveMcEwan
Copy link
Contributor

@DaveMcEwan DaveMcEwan commented Jan 24, 2022

Require fully specified conditionals and cases within always constructs.
Fully specified means fewer warnings from formal tools, and forces the writer to think about their "less usual" logic paths.

@DaveMcEwan DaveMcEwan changed the title New rule to require explicit else in conditional statements. New rules to require explicit else in conditional statements, and default in case statements. Jan 27, 2022
@dalance dalance merged commit 55fb62b into dalance:master Feb 8, 2022
@dalance
Copy link
Owner

dalance commented Feb 8, 2022

Thank you for a lot of contribution.
I released v0.5.1.

@DaveMcEwan DaveMcEwan deleted the explicitElse branch February 8, 2022 17:15
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 this pull request may close these issues.

2 participants