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

Google Groups | Rokia | 1 year ago
tip
Do you know that we can give you better hits? Get more relevant results from Samebug’s stack trace search.
  1. 0

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

    Google Groups | 1 year 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