testcheck.js

var testcheck = require('testcheck');
var gen = testcheck.gen;

testcheck.check(testcheck.property(
  [gen.int, gen.int], // generate two random integers
  function (a, b) {
    // check that the sum of the integers is always greater than any one number
    return a + b >= a && a + b >= b;
  }
));