ad3fb7b3

Author: Greg Pfeil <greg@technomadic.org>

Committer: GitHub <noreply@github.com>

Add property tests (#8)

This catches even more bugs.

It also restructures the type class hierarchy – `Calendar` is now
generic and has disjoint `CyclicCalendar` and `LinearCalendar`
subclasses.

Suite timing

Time to Start Worker time Duration Time to finish Idle
Config 55s 23s 23s 1m18s 55s
Eval 1m53s 2m26s 2m26s 4m19s 34s
Build 2m13s 11m15s 6m06s 8m19s 0s
Suite 55s 14m04s 7m23s 8m19s 1m29s

Timeline

0s1m2m3m4m5m6m7m8m