java.lang.AssertionError: 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
    java.lang.AssertionError: JPF found unexpected errors: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty

    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