[Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.
No projects in this organization have any dependencies