README
MAGDA jsverify property-based testing arbitraries definitions
This package provides jsverify property-based testing arbitraries definitions.
It may be handy if you want to write test cases in property-based testing style around Magda data structures.