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

There are no available Samebug tips for this exception. Do you have an idea how to solve this issue? A short tip would help users who saw this issue last week.

  • junit.framework.AssertionFailedError: JPF found unexpected errors: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty at gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:164) at gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:816) at gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:830) at gov.nasa.jpf.test.xerces.SAXParserTest.testSimpleParse(SAXParserTest.java:43)
No Bugmate found.