import gov.nasa.jpf.ListenerAdapter;
import gov.nasa.jpf.vm.Instruction;
import gov.nasa.jpf.vm.ThreadInfo;
import gov.nasa.jpf.vm.VM;
import gov.nasa.jpf.vm.VMListener;

public class Mnemonics extends ListenerAdapter implements VMListener {
	public void instructionExecuted(VM vm, ThreadInfo currentThread, Instruction nextInstruction, Instruction executedInstruction) {
		try {
			System.out.println(nextInstruction.getMnemonic());
		} catch (Exception e) {
			System.out.println(nextInstruction + " has no mnemonic");
		}
	}
}