Skip to content

Commit

Permalink
AnyValTest
Browse files Browse the repository at this point in the history
- https://github.com/non/cats/blob/6b19269dd4ea39d4b1d6fd49bb25b9f2d6ae2c14/std/src/main/scala/cats/std/anyval.scala#L98
- https://github.com/non/cats/blob/6b19269dd4ea39d4b1d6fd49bb25b9f2d6ae2c14/std/src/main/scala/cats/std/anyval.scala#L115

```
[info] AnyValTest:
[info] - Monoid[Double].monoid.associativity *** FAILED ***
[info]   GeneratorDrivenPropertyCheckFailedException was thrown during property evaluation.
[info]    (Discipline.scala:14)
[info]     Falsified after 10 successful property evaluations.
[info]     Location: (Discipline.scala:14)
[info]     Occurred when passed generated values (
[info]       arg0 = -1.4534549038922291E307,
[info]       arg1 = -8.988465674311579E307,
[info]       arg2 = 8.988465674311579E307
[info]     )
[info]     Label of failing property:
[info]       (-1.4534549038922301E307 ?== -1.4534549038922291E307) failed
[info] - Monoid[Double].monoid.combineAll(Nil) == id
[info] - Monoid[Double].monoid.combineN(a, 0) == id
[info] - Monoid[Double].monoid.combineN(a, 1) == a
[info] - Monoid[Double].monoid.combineN(a, 2) == a |+| a
[info] - Monoid[Double].monoid.isEmpty
[info] - Monoid[Double].monoid.leftIdentity *** FAILED ***
[info]   GeneratorDrivenPropertyCheckFailedException was thrown during property evaluation.
[info]    (Discipline.scala:14)
[info]     Falsified after 0 successful property evaluations.
[info]     Location: (Discipline.scala:14)
[info]     Occurred when passed generated values (
[info]       arg0 = 1.0
[info]     )
[info]     Label of failing property:
[info]       (2.0 ?== 1.0) failed
[info] - Monoid[Double].monoid.rightIdentity *** FAILED ***
[info]   GeneratorDrivenPropertyCheckFailedException was thrown during property evaluation.
[info]    (Discipline.scala:14)
[info]     Falsified after 5 successful property evaluations.
[info]     Location: (Discipline.scala:14)
[info]     Occurred when passed generated values (
[info]       arg0 = -1.0
[info]     )
[info]     Label of failing property:
[info]       (0.0 ?== -1.0) failed
[info] - Monoid[Double].monoid.serializable
[info] - Monoid[Float].monoid.associativity *** FAILED ***
[info]   GeneratorDrivenPropertyCheckFailedException was thrown during property evaluation.
[info]    (Discipline.scala:14)
[info]     Falsified after 11 successful property evaluations.
[info]     Location: (Discipline.scala:14)
[info]     Occurred when passed generated values (
[info]       arg0 = -1.0,
[info]       arg1 = -3.4028235E38,
[info]       arg2 = 3.4028235E38
[info]     )
[info]     Label of failing property:
[info]       (0.0 ?== -1.0) failed
[info] - Monoid[Float].monoid.combineAll(Nil) == id
[info] - Monoid[Float].monoid.combineN(a, 0) == id
[info] - Monoid[Float].monoid.combineN(a, 1) == a
[info] - Monoid[Float].monoid.combineN(a, 2) == a |+| a
[info] - Monoid[Float].monoid.isEmpty
[info] - Monoid[Float].monoid.leftIdentity *** FAILED ***
[info]   GeneratorDrivenPropertyCheckFailedException was thrown during property evaluation.
[info]    (Discipline.scala:14)
[info]     Falsified after 1 successful property evaluations.
[info]     Location: (Discipline.scala:14)
[info]     Occurred when passed generated values (
[info]       arg0 = 1.0
[info]     )
[info]     Label of failing property:
[info]       (2.0 ?== 1.0) failed
[info] - Monoid[Float].monoid.rightIdentity *** FAILED ***
[info]   GeneratorDrivenPropertyCheckFailedException was thrown during property evaluation.
[info]    (Discipline.scala:14)
[info]     Falsified after 13 successful property evaluations.
[info]     Location: (Discipline.scala:14)
[info]     Occurred when passed generated values (
[info]       arg0 = -1.0
[info]     )
[info]     Label of failing property:
[info]       (0.0 ?== -1.0) failed
```
  • Loading branch information
xuwei-k committed May 4, 2015
1 parent 6b19269 commit 6dbad2d
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions tests/src/test/scala/cats/tests/AnyValTest.scala
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
package cats.tests

class AnyValTest extends CatsSuite {

checkAll("Monoid[Double]", algebra.laws.GroupLaws[Double].monoid)
checkAll("Monoid[Float]", algebra.laws.GroupLaws[Float].monoid)

}

0 comments on commit 6dbad2d

Please sign in to comment.