summaryrefslogtreecommitdiff
path: root/tests/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Nice view of guarantees ; add half test, proved.Alex Auvolat2014-06-181-1/+1
* Add gilbreath suite ; booleans are not represented in a good way.Alex Auvolat2014-06-181-1/+2
* Add fail updown test (using pre instead of last).Alex Auvolat2014-06-131-1/+1
* Move a lot of things.Alex Auvolat2014-06-131-1/+12
* Add some testsAlex Auvolat2014-06-121-0/+4