jsverify/jsverify

View on GitHub
Branch: master(View all)
NameLines of codeMaintainabilityTest coverage
lib/utils.js187
D
2 days
examples/set-cover/set-cover.js100
D
2 days
examples/set-cover-dsl/set-cover.js101
D
1 day
lib/arbitrary.js145
C
1 day
lib/jsverify.js272
C
1 day
test-ts/example.ts30
A
3 hrs
lib/either.js50
A
3 hrs
lib/suchthat.js39
A
2 hrs
lib/pair.js21
A
1 hr
lib/primitive.js197
A
45 mins
fail/issue87.js14
A
30 mins
fail/promise.js23
A
30 mins
examples/nat-dsl.js16
A
0 mins
examples/nat.js16
A
0 mins
helpers/jasmineHelpers2.js31
A
0 mins
karma.conf.js21
A
0 mins
karma.jasmine.conf.js23
A
0 mins
lib/api.js55
A
0 mins
lib/arbitraryAssert.js12
A
0 mins
lib/arbitraryBless.js15
A
0 mins
lib/array.js24
A
0 mins
lib/bless.js21
A
0 mins
lib/dict.js31
A
0 mins
lib/environment.js21
A
0 mins
lib/finitemap.js31
A
0 mins
lib/fn.js34
A
0 mins
lib/functor.js61
A
0 mins
lib/generator.js149
A
0 mins
lib/json.js61
A
0 mins
lib/random.js13
A
0 mins
lib/record.js57
A
0 mins
lib/recordWithEnv.js15
A
0 mins
lib/show.js55
A
0 mins
lib/shrink.js137
A
0 mins
lib/small.js31
A
0 mins
lib/string.js24
A
0 mins
lib/sum.js18
A
0 mins
lib/typify.js92
A
0 mins
test-ts/either.ts26
A
0 mins
test-ts/letrec.ts7
A
0 mins
test-ts/nonshrink.ts10
A
0 mins
test-ts/oneof.ts34
A
0 mins
test-ts/record.ts9
A
0 mins
test-ts/tuple.ts34
A
0 mins
.eslintrc
.flowconfig
.gitignore
.jscsrc
.jshintrc
.npmignore