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

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 Kasper Søe Luckow, 1 year ago
exception during instructionExecuted() notification
via Google Groups by Zhenyu Zhou, 10 months ago
exception during instructionExecuted() notification
via Google Groups by Florian Biermann, 5 months ago
exception during instructionExecuted() notification
via Google Groups by Dinh Ngoc Thi, 1 year ago
exception during instructionExecuted() notification
via Google Groups by Yannic, 10 months ago
exception during instructionExecuted() notification
gov.nasa.jpf.JPFListenerException: exception during instructionExecuted() notification
at gov.nasa.jpf.jvm.bytecode.JVMInvokeInstruction.getArgumentValues(JVMInvokeInstruction.java:169)
at gov.nasa.jpf.symbc.SymbolicListener.instructionExecuted(SymbolicListener.java:191)
at gov.nasa.jpf.vm.VM.notifyInstructionExecuted(VM.java:807)
at gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1904)
at gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1848)
at gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:734)
at gov.nasa.jpf.vm.VM.forward(VM.java:1720)
at gov.nasa.jpf.search.Search.forward(Search.java:584)
at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:81)
at gov.nasa.jpf.JPF.run(JPF.java:611)
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:483)
at gov.nasa.jpf.tool.Run.call(Run.java:81)
at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:117)

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.

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