Commit 2019-09-25 18:11 b39040ff
View on Github →feat(sanity_check): improvements (#1487)
- checkpoint
- checkpoint
- checkpoint
- feat(sanity_check): improvements
- Now check for classical.[some|choice] and [gt|ge] in theorem statements
- Add [sanity_skip] attribute to skip checks
- Add #sanity_check_all to check all declarations
- Add
-after command to only execute fast tests - Reduce code duplication
- Make the performed checks configurable.
- some cleanup
- fix tests
- clarification
- reviewer comments
- fix typo in docstring
- reviewer comments
- update docstring
- Update tactics.md