ed963 / fol_ly

This repository contains an implementation of concepts from first-order logic, mainly to test my understanding as I work through Christopher C. Leary's "A Friendly Introduction to Mathematical Logic".
MIT License
0 stars 0 forks source link

Consolidate test case setup #4

Open ed963 opened 1 month ago

ed963 commented 1 month ago

Consider creating one common TestCase class and have all TestCase classes inherit from it.

setUp() for the parent class should set up some languages, terms, formulas, etc. for all TestCases to use.

This would avoid each TestCase class needing to define its own testing languages, terms, formulas, etc.