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


Solutions on the web

Solution icon of googlegroups
via Google Groups by Kasper Søe Luckow, 1 year ago
exception during instructionExecuted() notification

Solution icon of googlegroups
via Google Groups by Florian Biermann, 4 months ago
exception during instructionExecuted() notification

Solution icon of googlegroups
via Google Groups by Dinh Ngoc Thi, 1 year ago
exception during instructionExecuted() notification

Solution icon of googlegroups
via Google Groups by Zhenyu Zhou, 9 months ago
exception during instructionExecuted() notification

Solution icon of googlegroups
via Google Groups by Yannic, 9 months ago
exception during instructionExecuted() notification

Stack trace

gov.nasa.jpf.JPFListenerException: exception during instructionExecuted() 
 notification
	at gov.nasa.jpf.vm.VM.notifyInstructionExecuted(VM.java:815)
	at gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1922)
	at gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1859)
	at gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:765)
	at gov.nasa.jpf.vm.VM.forward(VM.java:1722)
	at gov.nasa.jpf.search.Search.forward(Search.java:579)
	at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:79)
	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.RuntimeException: ERROR: you need to turn debug 
 option on
	at gov.nasa.jpf.symbc.SymbolicListener.instructionExecuted(SymbolicListener.java:238)
	at gov.nasa.jpf.vm.VM.notifyInstructionExecuted(VM.java:808)
	... 14 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.