jsverify/jsverify

Branch: master(View all)

Name	Lines of code	Maintainability	Test coverage
lib/random.js	13
lib/record.js	57
lib/recordWithEnv.js	15
lib/show.js	55
lib/shrink.js	137
lib/small.js	31
lib/string.js	24
lib/suchthat.js	39	A 2 hrs
lib/sum.js	18
lib/typify.js	92
lib/utils.js	187	D 2 days
test-ts/either.ts	26
test-ts/example.ts	30	A 3 hrs
test-ts/letrec.ts	7
test-ts/nonshrink.ts	10
test-ts/oneof.ts	34
test-ts/record.ts	9
test-ts/tuple.ts	34