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

[TEST] Tree for Tent Test #608

Closed Chase-Grajeda closed 2 weeks ago

Chase-Grajeda commented 1 year ago

Implement and overhaul the tests for the direct rule. Clearly comment and show what you are testing. Try to cover all inputs and cases that may throw an uncaught exceptions.

jadeandtea commented 2 weeks ago

Closed by #775.