ssube 9ed06889f4 use JSON.stringify to format counterexamples		2021-07-24 14:45:45 -05:00
src	use JSON.stringify to format counterexamples	2021-07-24 14:45:45 -05:00
test	handle error runs with typed errors better	2021-07-22 14:58:46 -05:00
.gitignore	basic mocha wrapper	2021-07-20 23:20:39 -05:00
.npmignore	exclude test files	2021-07-24 14:45:14 -05:00
LICENSE.md	format failed results better	2021-07-21 18:28:22 -05:00
Makefile	exclude test files	2021-07-24 14:45:14 -05:00
package.json	use JSON.stringify to format counterexamples	2021-07-24 14:45:45 -05:00
tsconfig.json	basic mocha wrapper	2021-07-20 23:20:39 -05:00
yarn.lock	invoke fc check and handle results	2021-07-20 23:39:57 -05:00