You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
llogiq opened this issue
Jan 29, 2016
· 2 comments
Labels
A-lintArea: New lintsE-mediumCall for participation: Medium difficulty level problem and requires some initial experience.T-ASTType: Requires working with the AST
We can do full simplification of the boolean expression and compare the results. That'll catch arbitrary cases of it.
Manishearth
added
E-medium
Call for participation: Medium difficulty level problem and requires some initial experience.
T-AST
Type: Requires working with the AST
A-lint
Area: New lints
labels
Jan 29, 2016
Note that often you may write a boolean expression in a nonsimplified manner because that mirrors the intent. Not sure if this is an edge case or common though.
A-lintArea: New lintsE-mediumCall for participation: Medium difficulty level problem and requires some initial experience.T-ASTType: Requires working with the AST
Shamelessly grabbed from http://www.viva64.com/en/d/0320/ 😄
The text was updated successfully, but these errors were encountered: