Closed Chase-Grajeda closed 1 year ago
Implement and overhaul the tests for the contradiction rule. Clearly comment and show what you are testing. Try to cover all inputs and cases that may throw an uncaught exceptions.
Implement and overhaul the tests for the contradiction rule. Clearly comment and show what you are testing. Try to cover all inputs and cases that may throw an uncaught exceptions.