Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / unit-tests / CoAlgFormula_tests.ml @ 1d36cd07

History | View | Annotate | Download (458 Bytes)

# Date Author Comment
256444ba 04/06/2017 05:57 PM Hans-Peter Deifel

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.