Nodejs, Dependency Injection, JavaScript, Programming, Software Engineering.
fc.property(fc.integer(), fc.integer(), (i, j) => { return i + j === add(i, j); }) ); The two fc.integer() are arbitraries, and the later anonymous function is the runner, which takes two arguments i and j, corresponding to the previous arbitraries. We want to verify whether the function add really