java.lang.AssertionError: JPF found unexpected errors: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty

Google Groups | Rokia | 8 months ago
  1. 0

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

    Google Groups | 8 months ago | Rokia
    java.lang.AssertionError: JPF found unexpected errors: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
  2. 0

    FieldHermiteInterpolatorTest

    GitHub | 2 years ago | chupanw
    java.lang.AssertionError: JPF found unexpected errors: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
  3. Speed up your debug routine!

    Automated exception search integrated into your IDE

    Not finding the right solution?
    Take a tour to get the most out of Samebug.

    Tired of useless tips?

    Automated exception search integrated into your IDE

    Root Cause Analysis

    1. java.lang.AssertionError

      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
    3. Java RT
      Method.invoke
      1. sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
      2. sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
      3. sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
      4. java.lang.reflect.Method.invoke(Method.java:497)
      4 frames
    4. gov.nasa.jpf
      TestJPF.runTests
      1. gov.nasa.jpf.util.test.TestJPF.invoke(TestJPF.java:499)
      2. gov.nasa.jpf.util.test.TestJPF.runTests(TestJPF.java:558)
      2 frames
    5. Java RT
      Method.invoke
      1. sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
      2. sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
      3. sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
      4. java.lang.reflect.Method.invoke(Method.java:497)
      4 frames
    6. gov.nasa.jpf
      RunTest.main
      1. gov.nasa.jpf.tool.RunTest.main(RunTest.java:185)
      1 frame