public void instructionExecuted(VM vm, ThreadInfo currentThread, Instruction nextInstruction, Instruction executedInstruction) {
super.instructionExecuted(vm, currentThread, nextInstruction, executedInstruction);
if (nextInstruction != null) {
if (nextInstruction.getAttr() == JointstatesInstructionFactory.writeFlag) {
vm.setNextChoiceGenerator(new BreakGenerator("jointstates before write state", currentThread, false));
CommandDelegator.lastFlag = nextInstruction.getAttr();
logger.warning("jointstates added BreakGeneratorCG before write on level " + vm.getSearch().getDepth());
} else if (nextInstruction.getAttr() == JointstatesInstructionFactory.readFlag) {
vm.setNextChoiceGenerator(new BreakGenerator("jointstates before read state", currentThread, false));
CommandDelegator.lastFlag = nextInstruction.getAttr();
logger.warning("jointstates added BreakGeneratorCG before read on level " + vm.getSearch().getDepth());
}
}
}