Adding notes in the latest changes for the serializer bug fix.

[jpf-core.git] / src / main / gov / nasa / jpf / vm / serialize / CFSerializer.java

diff --git a/src/main/gov/nasa/jpf/vm/serialize/CFSerializer.java b/src/main/gov/nasa/jpf/vm/serialize/CFSerializer.java
index 0f6eb0e0e77eee12a1e9551cb4f9f6ff32de3104..efaf25ae90c578d78fa47548799d81c8f54e1b4d 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/serialize/CFSerializer.java
+++ b/src/main/gov/nasa/jpf/vm/serialize/CFSerializer.java
@@ -55,6 +55,8 @@ public class CFSerializer extends FilteringSerializer {
   // over the serialized objects to reset their sids. This works by resetting
   // the sid to 0 upon backtrack, and counting either upwards from 1 or downwards
   // from -1, but store the absolute value in the serialization stream
+  // TODO: Fix for Groovy's model-checking
+  // TODO: Change of sid assignment strategy since the previous one caused a bug with SmartThings object filtering
   long initsidCount=0;
   long sidCount=1;