Brian Picciano
|
c66f13927a
|
mchk: implement failing test case minimization
|
2018-08-21 14:45:15 -04:00 |
|
Brian Picciano
|
4a842fbea1
|
mchk: remove typeName in params printing, it wasn't really helping
|
2018-08-14 16:18:34 -04:00 |
|
Brian Picciano
|
235e9a1850
|
massert: make Len error a bit more helpful
|
2018-08-14 15:38:24 -04:00 |
|
Brian Picciano
|
715b6c9491
|
mchk: move mtest.Checker to mtest/mchk, and refactor its types a little bit
|
2018-08-13 15:03:30 -04:00 |
|
Brian Picciano
|
9ccc787066
|
mtest: refactor Run a bit
|
2018-08-13 12:06:05 -04:00 |
|
Brian Picciano
|
c850ace8d2
|
mtest: add Terminate field to Action
|
2018-08-13 11:57:33 -04:00 |
|
Brian Picciano
|
58fd73d540
|
mtest: implement Nil
|
2018-07-19 18:04:08 +00:00 |
|
Brian Picciano
|
0a4be2f8cd
|
massert: implement Len
|
2018-07-16 00:38:00 +00:00 |
|
Brian Picciano
|
d3a81f9613
|
massert: implement HasKey
|
2018-07-16 00:08:23 +00:00 |
|
Brian Picciano
|
69e3019fbf
|
massert: implement Subset, Has, Fatal, and Error
|
2018-07-08 18:19:09 +00:00 |
|
Brian Picciano
|
c297e09446
|
massert: add All, None, Any, AnyOne, and flesh out tests
|
2018-07-07 17:43:14 +00:00 |
|
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 |
|