UNPKG
chape
Version:
latest (0.2.0)
0.2.0
0.1.1
0.1.0
trivial jsverify wrapper for tape
chape
/
test
/
test.js
13 lines
(10 loc)
•
244 B
JavaScript
View Raw
1
2
3
4
5
6
7
8
9
10
11
12
13
const
test =
require
(
'tape'
).
test
const
jsc =
require
(
'jsverify'
)
const
check =
require
(
'..'
)
const
true_prop =
function
(
n
) {
return
typeof
n ===
'number'
}
test
(
'foo'
,
function
(
t
) {
check
(jsc.
forall
(
'integer'
, true_prop), t) t.
end
() })