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

Short Truth Table Case Rule Test Fix #705

Closed charlestian23 closed 8 months ago

charlestian23 commented 8 months ago

Description

Fixes a bug where STT tests were using assertNotNull to validate if the rule works. Instead, it should have been using assertNull. This will cause some tests to fail, which is expected, as currently, case rules don't seem to be working properly.

Closes #(issue)

Type of change

How Has This Been Tested?

Checklist: