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

Searched on Google with the first line of a JAVA stack trace?

We can recommend more relevant solutions and speed up debugging when you paste your entire stack trace with the exception message. Try a sample exception.

Recommended solutions based on your search

Solutions on the web

via Google Groups by Rokia, 11 months ago
via GitHub by chupanw
, 2 years ago
JPF found unexpected errors: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
via Google Groups by Quoc-Sang, 6 months ago
JPF found unexpected errors: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
via Google Groups by Eddie Loeffen, 6 months ago
JPF failed to detect error: gov.nasa.jpf.ltl.ddfs.LTLProperty
via Google Groups by Fatih Turkmen, 6 months ago
JPF internal exception executing: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.text.DateFormatTest testConversionCycle :gov.nasa.jpf.JPFNativePeerException: exception in native method java.lang.String.toLowerCase
java.lang.AssertionError: 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)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:497)
at gov.nasa.jpf.util.test.TestJPF.invoke(TestJPF.java:499)
at gov.nasa.jpf.util.test.TestJPF.runTests(TestJPF.java:558)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:497)
at gov.nasa.jpf.tool.RunTest.main(RunTest.java:185)

Users with the same issue

You are the first who have seen this exception.

Write tip

Know the solutions? Share your knowledge to help other developers to debug faster.