Project

General

Profile

« Previous | Next » 

Revision 256444ba

ID256444baf6276df0bd418a1e50d7ad5a83d1793c
Parent fbe64bb7
Child c2233aff

Added by Hans-Peter Deifel 8 months ago

tests: Add unit tests

Adds a whole new set of tests that don't just test the whole reasoning
process on a formula, but smaller individual functions.

Right now there are only two tests but more should follow.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences