Skip to content

Instantly share code, notes, and snippets.

@MattMcFarland

MattMcFarland/jsverify jasmine.js

Last active October 29, 2018 14:44
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save MattMcFarland/f7e149ad6c6868f3b88a1ae22fecf04a to your computer and use it in GitHub Desktop.
Save MattMcFarland/f7e149ad6c6868f3b88a1ae22fecf04a to your computer and use it in GitHub Desktop.
Download ZIP
js verify with jasmine
Raw
jsverify jasmine.js
describe('Maths', () => {
it('addition is commutative', () => {
expect(jsc.checkForall(jsc.integer, jsc.integer, (a, b) => a + b === b + a)).toBeTrue()
})
})
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment