From 6da1f637f7172772ae0b67fabf97538cdf2c8178 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Mon, 5 Aug 2019 23:51:21 -0700
Subject: [PATCH] Small improvment in state reduction

---
 src/main/gov/nasa/jpf/vm/serialize/CFSerializer.java | 4 ++++
 1 file changed, 4 insertions(+)

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]);
         }
       }
+      */
     }
   }
 
-- 
2.34.1