Description
This project wraps jsverify
in a bolt
namespace (ephox.wrap-jsverify.Jsc
) and provides a some extra methods.
Installation
wrap-jsverify
is available as an npm
package. You can install it via the npm package @ephox/wrap-jsverify
Install from npm
npm install @ephox/wrap-jsverify
.
Usage
All functionality is provided on the ephox.wrap-jsverify.Jsc
module. In addition to the usual jsverify
methods, there are two additional methods: syncProperty
and asyncProperty
.
syncProperty
-
label
: the name of the test -
arbitraries
: the list of arbitraries being used -
f
: the function to execute with the arbitraries. Return true at the end for a passing case. -
options
: additional arguments to send through to Jsc liketests
andrngState
.
asyncProperty
-
label
: the name of the test -
arbitraries
: the list of arbitraries being used -
f
: the function to execute with the arbitraries. Return true at the end for a passing case. -
options
: additional arguments to send through to Jsc liketests
andrngState
.