import gov.nasa.jpf.JPFListener; import gov.nasa.jpf.ListenerAdapter; import gov.nasa.jpf.search.Search; public class StateSpace extends ListenerAdapter implements JPFListener { private int source; private int target; public StateSpace() { this.source = -1; this.target = -1; } public void stateAdvanced(Search search) { this.source = this.target; this.target = search.getStateId(); if (this.source != -1) { System.out.printf("%d -> %d%n", this.source, this.target); } } public void stateBacktracked(Search search) { this.target = search.getStateId(); } public void stateRestored(Search search) { this.target = search.getStateId(); } }