junit.framework.AssertionFailedError: JPF found unexpected errors: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty

Google Groups | Rokia | 11 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

    Testcase: testSimpleParse :JPF found unexpected errors: gov.nasa.jpf.vm.NoUncaughtExceptionsPropertyJavaPathfinder ( core system v8.0 (rev 29+))

    Google Groups | 11 months ago | Rokia
    junit.framework.AssertionFailedError: JPF found unexpected errors: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty

    Root Cause Analysis

    1. junit.framework.AssertionFailedError

      JPF found unexpected errors: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty

      at gov.nasa.jpf.util.test.TestJPF.fail()
    2. gov.nasa.jpf
      SAXParserTest.testSimpleParse
      1. gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:164)
      2. gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:816)
      3. gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:830)
      4. gov.nasa.jpf.test.xerces.SAXParserTest.testSimpleParse(SAXParserTest.java:43)
      4 frames