exception during searchFinished() notification

Samebug tips0

We couldn't find tips for this exception.

Don't give up yet. Paste your full stack trace to get a solution.

Solutions on the web6

  • via Unknown by Kasper Søe Luckow,
  • via Unknown by Dinh Ngoc Thi,
  • via Unknown by Mark Tanti,
  • Stack trace

    • gov.nasa.jpf.JPFListenerException: exception during searchFinished() notification at at at at gov.nasa.jpf.JPF.start( at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke( at sun.reflect.DelegatingMethodAccessorImpl.invoke( at java.lang.reflect.Method.invoke( at at gov.nasa.jpf.tool.RunJPF.main( Caused by: java.lang.NullPointerException at gov.nasa.jpf.symbc.SymbolicListener.publishFinished( at at at at at ... 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

    We couldn't find other users who have seen this exception.