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 like tests and rngState.

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.