Lightup Documentation and Test Suite (Computability and Logic Project)

[Jimmers2001]

Description

The following PR implements a test suite, checking the validity of the contradiction, basic, and case rules by using many small example boards.

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?

More information about the tests can be found here: shorturl.at/cuvQV

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