Giters

javapathfinder / jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

executedInstruction vs vm.getLastInstruction()

aditya-kapre-shrewsbury opened this issue · comments

commented

In the past interface, I was using vm.getLastInstruction() where vm was object of class JVM while implementing a listener interface method having definition like public void instructionExecuted(JVM vm)

The new definition is
public void instructionExecuted(VM vm, ThreadInfo currentThread, Instruction nextInstruction, Instruction executedInstruction)

Is executedInstruction same as vm.getLastInstruction() of the old interface ?