@@ -62,7 +62,7 @@ public class OSExplorer {
OutLink ol = new OutLink(curState, nOutState, w_idx);
curState.addOutLink(ol);
- logger.info("Creating link ["+nextIdx+"] - " + ol);
+ logger.info("Creating link ["+String.format("%06u" ,nextIdx)+"/"+maxLinks+"] - " + ol);
curState = nOutState;
}
@@ -24,7 +24,7 @@ public class OutLink implements GraphLink {
@Override
public String toString() {
- return "("+src+")->OL["+String.format("%08X", inputs)+"]->("+dest+")";
+ return "("+src+")->OL["+String.format("%06X", inputs)+"]->("+dest+")";
@@ -53,7 +53,7 @@ public class OutState implements GraphState {
- return "OS[O:"+String.format("%08X", pins.out)+"|Z:"+String.format("%08X", pins.hiz)+"]";
+ return "OS[O:"+String.format("%02X", pins.out)+"|Z:"+String.format("%02X", pins.hiz)+"]";