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

Log start and end of rule simplification process #4

Closed
jayvdb opened this issue Feb 25, 2020 · 0 comments
Closed

Log start and end of rule simplification process #4

jayvdb opened this issue Feb 25, 2020 · 0 comments
Labels
rulesets Mostly pertaining to upstream rulesets
Milestone
v0.2.2

Comments

@jayvdb
Copy link
Owner

jayvdb commented Feb 25, 2020

The reduction process is currently hiding under check=True - it should have a separate arg.

And the start and end should be logged, with some stats on how many rules were simplified.
@jayvdb jayvdb added the rulesets Mostly pertaining to upstream rulesets label Feb 27, 2020
@jayvdb jayvdb added this to the v0.2.2 milestone Feb 27, 2020
jayvdb added a commit that referenced this issue Mar 22, 2020
@jayvdb
_rules: Time and log ruleset reduction
b2d8865 
Closes #4
@jayvdb jayvdb closed this as completed in 685ace7 Mar 22, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
rulesets Mostly pertaining to upstream rulesets
Projects
None yet
Milestone
v0.2.2
Development

No branches or pull requests
1 participant
@jayvdb