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

Google Groups | Rokia | 11 months ago
tip
Your exception is missing from the Samebug knowledge base.
Here are the best solutions we found on the Internet.
Click on the to mark the helpful solution and get rewards 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