java.lang.AssertionError: Property shouldHold falsified. Failure message: [ Expected: a value less than <1073741823> but: <1353081228> was greater than <1073741823>] Args: [Foo[1353081228]] Seeds: [-6168442671370861181]

GitHub | pholser | 6 months ago
tip
Click on the to mark the solution that helps you, Samebug will learn from it.
As a community member, you’ll be rewarded for you help.
  1. 0

    GitHub comment 124#241091673

    GitHub | 6 months ago | pholser
    java.lang.AssertionError: Property shouldHold falsified. Failure message: [ Expected: a value less than <1073741823> but: <1353081228> was greater than <1073741823>] Args: [Foo[1353081228]] Seeds: [-6168442671370861181]
  2. 0

    GitHub comment 99#219466670

    GitHub | 9 months ago | hmvien
    java.lang.AssertionError: Property shouldHold falsified for args shrunken to [Foo[1]] using initial seeds [-6731889730898940719]
  3. 0

    Exception from shrunk example is not logged

    GitHub | 6 months ago | tinkerware
    java.lang.AssertionError: Property commutativeCombine falsified. Original failure message: [high[=1984954367] < 2 * low[=1166016512]: a=HistogramSnapshot{count=1, range=RuntimeRange{1166016512,1167065087}}, b=HistogramSnapshot{count=1, range=RuntimeRange{1983905792,1984954367}}] Original args: [HistogramSnapshot{count=1, range=RuntimeRange{1166016512,1167065087}}, HistogramSnapshot{count=1, range=RuntimeRange{1983905792,1984954367}}] Args shrunken to: [HistogramSnapshot{count=1, range=RuntimeRange{992477184,993001471}}, HistogramSnapshot{count=1, range=RuntimeRange{1983905792,1984954367}}] Seeds: [1908559894991300119, -3782965659388203707]
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

    Root Cause Analysis

    1. java.lang.AssertionError

      Property shouldHold falsified. Failure message: [ Expected: a value less than <1073741823> but: <1353081228> was greater than <1073741823>] Args: [Foo[1353081228]] Seeds: [-6168442671370861181]

      at com.pholser.junit.quickcheck.runner.PropertyFalsified.counterexampleFound()
    2. com.pholser.junit
      PropertyStatement.evaluate
      1. com.pholser.junit.quickcheck.runner.PropertyFalsified.counterexampleFound(PropertyFalsified.java:42)
      2. com.pholser.junit.quickcheck.runner.ShrinkNode.fail(ShrinkNode.java:117)
      3. com.pholser.junit.quickcheck.runner.Shrinker.shrink(Shrinker.java:103)
      4. com.pholser.junit.quickcheck.runner.PropertyStatement.shrink(PropertyStatement.java:158)
      5. com.pholser.junit.quickcheck.runner.PropertyStatement.lambda$property$41(PropertyStatement.java:132)
      6. com.pholser.junit.quickcheck.runner.PropertyVerifier$1.evaluate(PropertyVerifier.java:86)
      7. com.pholser.junit.quickcheck.runner.PropertyVerifier.verify(PropertyVerifier.java:68)
      8. com.pholser.junit.quickcheck.runner.PropertyStatement.verifyProperty(PropertyStatement.java:108)
      9. com.pholser.junit.quickcheck.runner.PropertyStatement.evaluate(PropertyStatement.java:92)
      9 frames
    3. JUnit
      JUnitCore.run
      1. org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325)
      2. org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78)
      3. org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57)
      4. org.junit.runners.ParentRunner$3.run(ParentRunner.java:290)
      5. org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71)
      6. org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288)
      7. org.junit.runners.ParentRunner.access$000(ParentRunner.java:58)
      8. org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268)
      9. org.junit.runners.ParentRunner.run(ParentRunner.java:363)
      10. org.junit.runner.JUnitCore.run(JUnitCore.java:137)
      10 frames