From 80059c83cb1b1050bbddad2d01d4a9ce9979f99b Mon Sep 17 00:00:00 2001 From: bdemsky Date: Tue, 6 Aug 2019 12:45:05 -0700 Subject: [PATCH] More state reduction --- src/main/gov/nasa/jpf/vm/serialize/FilteringSerializer.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.34.1