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 da14d02e45710d0c97db6a11db9d35377a350ed7..f6663eb31b94338b54e8a09e9eafa6ef5091ec1f 100644 (file)
--- 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
       
       // 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)) {
       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]);
         }
       }
           buf.add(slots[i]);
         }
       }

+      */

     }
   }
 
     }
   }