gov.nasa.jpf.JPFListenerException

exception during searchFinished() notification

Solutions on the web33

  • via Google Groups by Kasper Søe Luckow, 1 year ago
    exception during searchFinished() notification
  • via Google Groups by Imran, 1 year ago
    exception during searchFinished() notification
  • via Google Groups by Tarciana Dias da Silva, 1 month ago
    exception during propertyViolated() notification
  • Stack trace

    • gov.nasa.jpf.JPFListenerException: exception during searchFinished() notification at gov.nasa.jpf.search.Search.notifySearchFinished(Search.java:572) at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:110) at gov.nasa.jpf.JPF.run(JPF.java:613) at gov.nasa.jpf.JPF.start(JPF.java:189) 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.Run.call(Run.java:80) at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:116) Caused by: java.lang.NullPointerException at gov.nasa.jpf.symbc.SymbolicListener.publishFinished(SymbolicListener.java:613) at gov.nasa.jpf.report.Publisher.publishFinished(Publisher.java:344) at gov.nasa.jpf.report.ConsolePublisher.publishFinished(ConsolePublisher.java:126) at gov.nasa.jpf.report.Reporter.publishFinished(Reporter.java:248) at gov.nasa.jpf.report.Reporter.searchFinished(Reporter.java:295) at gov.nasa.jpf.search.Search.notifySearchFinished(Search.java:569) ... 9 more

    Write tip

    You have a different solution? A short tip here would help you and many other users who saw this issue last week.

    Users with the same issue

    You are the first who have seen this exception. Write a tip to help other users and build your expert profile.