Commit Graph

5 Commits

Author SHA1 Message Date
Brian Picciano
1b26e2958a massert: initial implementation 2018-07-05 00:09:53 +00:00
Brian Picciano
402aa13495 mtest: implement Checker, a very basic property checker 2018-07-03 18:18:51 +00:00
Brian Picciano
1be0072701 mtest->mrand: move rand functionality from mtest into its own package 2018-07-03 00:20:00 +00:00
Brian Picciano
f9ec4d7bce mtest: implement RandElement 2018-07-02 23:42:54 +00:00
Brian Picciano
3f2f00d367 implement mtest package 2018-02-11 16:05:36 +00:00