From: bdemsky <bdemsky@uci.edu>
Date: Tue, 6 Aug 2019 06:51:21 +0000 (-0700)
Subject: Small improvment in state reduction
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=6da1f637f7172772ae0b67fabf97538cdf2c8178;p=jpf-core.git

Small improvment in state reduction
---

diff --git a/src/main/gov/nasa/jpf/vm/serialize/CFSerializer.java b/src/main/gov/nasa/jpf/vm/serialize/CFSerializer.java
index da14d02..f6663eb 100644
--- a/src/main/gov/nasa/jpf/vm/serialize/CFSerializer.java
+++ b/src/main/gov/nasa/jpf/vm/serialize/CFSerializer.java
@@ -166,6 +166,9 @@ public class CFSerializer extends FilteringSerializer {
       
       // unfortunately we can't do this as a block operation because that
       // would use concrete reference values as hash data, i.e. break heap symmetry
+      int thisslot = frame.getThis();
+      processReference(thisslot);
+      /*
       int[] slots = frame.getSlots();
       for (int i = 0; i < len; i++) {
         if (frame.isReferenceSlot(i)) {
@@ -174,6 +177,7 @@ public class CFSerializer extends FilteringSerializer {
           buf.add(slots[i]);
         }
       }
+      */
     }
   }