Skip to content

Instantly share code, notes, and snippets.

@MattMcFarland

MattMcFarland/jsvNode.js

Created March 15, 2017 00:05
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save MattMcFarland/22d13794440b5069f8a02c83a966d42b to your computer and use it in GitHub Desktop.
Save MattMcFarland/22d13794440b5069f8a02c83a966d42b to your computer and use it in GitHub Desktop.
Download ZIP
jsverify with node
Raw
jsvNode.js
// node assertion library
assert(jsc.checkForall(jsc.integer, jsc.integer, (a, b) => a + b === b + a) === true)
// same as:
jsc.assertForall(jsc.integer, jsc.integer, (a, b) => a + b === b + a)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment