issues
search
Bram-Hub
/
LEGUP
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
GNU General Public License v3.0
33
stars
82
forks
source link
Atomic Direct Rule Test
#651
Closed
charlestian23
closed
1 year ago
charlestian23
commented
1 year ago
Description
Added tests for Atomic Direct Rule.
Closes #671
Type of change
[ ] Bug fix (non-breaking change which fixes an issue)
[ ] New feature (non-breaking change which adds functionality)
[x] Enhancement (improvement to an already existing feature)
[ ] Breaking change (fix or feature that would cause existing functionality to not work as expected)
How Has This Been Tested?
Checklist:
[x] I have performed a self-review of my code
[x] I have commented my code, particularly in hard-to-understand areas
[ ] I have made corresponding changes to the documentation (if applicable)
[x] My changes generate no new warnings
[x] I have added tests that prove my fix is effective or that my feature works
[x] New and existing unit tests pass locally with my changes
Description
Added tests for Atomic Direct Rule.
Closes #671
Type of change
How Has This Been Tested?
Checklist: