Wrapper for Jsc
npm install @ephox/wrap-jsverifyThis project wraps jsverify in a bolt namespace (ephox.wrap-jsverify.Jsc) and provides a some extra methods.
wrap-jsverify is available as an npm package. You can install it via the npm package @ephox/wrap-jsverify
npm install @ephox/wrap-jsverify.
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.
* 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 like tests and rngState.
* 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 like tests and rngState.