These are some errors I got while running test
in non/algebra. It seems like maybe scala.js's Int
emulation is not perfect.
[info] - [Int].order.antisymmetry *** FAILED ***
[info] GeneratorDrivenPropertyCheckFailedException was thrown during property evaluation.
[info] (algebra-laws-test-fastopt.js:25526)
[info] Falsified after 22 successful property evaluations.
[info] Location: (algebra-laws-test-fastopt.js:25526)
[info] Occurred when passed generated values (
[info] arg0 = -2147483648,
[info] arg1 = 2147483647
[info] )
[info] Label of failing property:
[info] (false ?|| false) failed
[info] - [Int].order.antisymmetry-eq
[info] - [Int].order.gt *** FAILED ***
[info] GeneratorDrivenPropertyCheckFailedException was thrown during property evaluation.
[info] (algebra-laws-test-fastopt.js:25526)
[info] Falsified after 61 successful property evaluations.
[info] Location: (algebra-laws-test-fastopt.js:25526)
[info] Occurred when passed generated values (
[info] arg0 = -2147483648,
[info] arg1 = 2147483647
[info] )
[info] Label of failing property:
[info] (true ?== false) failed
[info] - [Int].order.gteqv *** FAILED ***
[info] GeneratorDrivenPropertyCheckFailedException was thrown during property evaluation.
[info] (algebra-laws-test-fastopt.js:25526)
[info] Falsified after 44 successful property evaluations.
[info] Location: (algebra-laws-test-fastopt.js:25526)
[info] Occurred when passed generated values (
[info] arg0 = 2147483647,
[info] arg1 = -2147483648
[info] )
[info] Label of failing property:
[info] (true ?== false) failed
...
[info] - [Int].lattice.join:semilattice.associativity *** FAILED ***
[info] GeneratorDrivenPropertyCheckFailedException was thrown during property evaluation.
[info] (algebra-laws-test-fastopt.js:25526)
[info] Falsified after 8 successful property evaluations.
[info] Location: (algebra-laws-test-fastopt.js:25526)
[info] Occurred when passed generated values (
[info] arg0 = 2147483647,
[info] arg1 = -2147483648,
[info] arg2 = 1
[info] )
[info] Label of failing property:
[info] (1 ?== 2147483647) failed