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

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

diff --git a/src/main/gov/nasa/jpf/vm/ElementInfo.java b/src/main/gov/nasa/jpf/vm/ElementInfo.java
index c34e1c104977ea82eb09c0f474bc0e0a60856992..9ed932bc33ebbf4f97c6b534d3ae101d42d212f4 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/ElementInfo.java
+++ b/src/main/gov/nasa/jpf/vm/ElementInfo.java
@@ -137,6 +137,8 @@ public abstract class ElementInfo implements Cloneable {
 
   // cache for a serialized representation of the object, which can be used
   // by state-matching. Value interpretation depends on the configured Serializer
+  // TODO: Fix for Groovy's model-checking
+  // TODO: Change of sid assignment strategy since the previous one caused a bug with SmartThings object filtering
   protected long sid;