Quellcode durchsuchen

More logging and fix the new state from the path

Fabio Battaglia vor 4 Jahren
Ursprung
Commit
e882906db3

+ 2 - 2
src/main/java/info/hkzlab/dupal/analyzer/palanalisys/explorers/OSExplorer.java

@@ -40,7 +40,7 @@ public class OSExplorer {
                 ArrayList<GraphLink> linkPath = PathFinder.findPathToNearestUnfilledState(curState);
                 if(linkPath != null && !linkPath.isEmpty()) {
                     for(GraphLink l : linkPath) dpci.write(l.getLinkInputs()); // Walk the path to the new state
-                    curState = (OutState) linkPath.get(linkPath.size() - 1);
+                    curState = (OutState) (linkPath.get(linkPath.size() - 1)).getDestinationState();
                     logger.info("exploreOutStates() -> walked path to state " + curState);
 
                     // Do some doublecheckin
@@ -62,7 +62,7 @@ public class OSExplorer {
             OutLink ol = new OutLink(curState, nOutState, w_idx);
             curState.addOutLink(ol);
 
-            logger.info("Creating a link - " + ol);
+            logger.info("Creating link ["+nextIdx+"] - " + ol);
 
             curState = nOutState;
         }

+ 1 - 1
src/main/java/info/hkzlab/dupal/analyzer/palanalisys/graph/OutLink.java

@@ -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("%08X", inputs)+"]->("+dest+")";
     }
 
     @Override