From: bdemsky <bdemsky@uci.edu>
Date: Tue, 6 Aug 2019 19:45:05 +0000 (-0700)
Subject: More state reduction
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=80059c83cb1b1050bbddad2d01d4a9ce9979f99b;p=jpf-core.git

More state reduction
---

diff --git a/src/main/gov/nasa/jpf/vm/serialize/FilteringSerializer.java b/src/main/gov/nasa/jpf/vm/serialize/FilteringSerializer.java
index 236a9b0..4e71fe9 100644
--- a/src/main/gov/nasa/jpf/vm/serialize/FilteringSerializer.java
+++ b/src/main/gov/nasa/jpf/vm/serialize/FilteringSerializer.java
@@ -332,7 +332,8 @@ public class FilteringSerializer extends AbstractSerializer implements Reference
     
     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