gov.nasa.jpf.JPFListenerException: exception during searchFinished() notification

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.

  • Symbolic execution failed
    via by Zhenyu Zhou,
  • SPF can not check a read-file program
    via by Dinh Ngoc Thi,
  • AOP with JPF
    via by Mark Tanti,
  • rev 686+ - JPF error stack trace
    via by Darky SiDai,
  • help me with symbc
    via by Imran,
  • Problem running simple jpf-symbc test - JDK 7 compilations
    via by George C. Stergiopoulos,
    • 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
    No Bugmate found.