More state reduction
authorbdemsky <bdemsky@uci.edu>
Tue, 6 Aug 2019 19:45:05 +0000 (12:45 -0700)
committerbdemsky <bdemsky@uci.edu>
Tue, 6 Aug 2019 19:45:05 +0000 (12:45 -0700)
src/main/gov/nasa/jpf/vm/serialize/FilteringSerializer.java

index 236a9b0..4e71fe9 100644 (file)
@@ -332,7 +332,8 @@ public class FilteringSerializer extends AbstractSerializer implements Reference
     
     buf.add( ti.getId());
     buf.add( ti.getState().ordinal());
     
     buf.add( ti.getId());
     buf.add( ti.getState().ordinal());
-    buf.add( ti.getStackDepth());
+    // SmartThings...ignore this
+    //    buf.add( ti.getStackDepth());
     
     //--- the lock state
     // NOTE: both lockRef and lockedObjects can only refer to live objects
     
     //--- the lock state
     // NOTE: both lockRef and lockedObjects can only refer to live objects