UNPKG
jsverify
Version:
latest (0.8.4)
0.8.4
0.8.3
0.8.2
0.8.1
0.8.0
0.7.5
0.7.4
0.7.3
0.7.2
0.7.1
0.7.0
0.6.3
0.6.2
0.6.1
0.6.0
0.6.0-beta.2
0.6.0-beta.1
0.6.0-alpha.5
0.6.0-alpha.4
0.6.0-alpha.3
0.6.0-alpha.2
0.6.0-alpha.1
0.5.3
0.5.2
0.5.1
0.5.0
0.5.0-beta.2
0.5.0-beta.1
0.4.6
0.4.5
0.4.4
0.4.3
0.4.2
0.4.1
0.4.0
0.4.0-beta.4
0.4.0-beta.3
0.4.0-beta.2
0.4.0-beta.1
0.4.0-alpha8
0.4.0-alpha7
0.4.0-alpha6
0.4.0-alpha5
0.4.0-alpha4
0.4.0-alpha3
0.4.0-alpha2
0.4.0-alpha1
0.3.6
0.3.5
0.3.4
0.3.3
0.3.2
0.3.1
0.3.0
0.2.0
0.1.4
0.1.2
0.1.1
0.1.0
0.0.2
0.0.1
Property-based testing for JavaScript.
jsverify.github.io
jsverify/jsverify
jsverify
/
test-ts
/
record.ts
12 lines
(9 loc)
•
213 B
text/typescript
View Raw
1
2
3
4
5
6
7
8
9
10
11
12
import *
as
jsc
from
"../lib/jsverify.js"
;
interface
Record
{
string
:
string
;
boolean
:
boolean
; };
const
arbitrary
: jsc.Arbitrary<Record> = jsc.
record
({
string
: jsc.
string
,
boolean
: jsc.
bool
});