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

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

diff --git a/src/main/gov/nasa/jpf/vm/serialize/SmartThingsConfig.java b/src/main/gov/nasa/jpf/vm/serialize/SmartThingsConfig.java
index 589f53eee0f1bba68fc0fcf6cfc4a8db033c08a5..9cdb54b4bf57c81b6f14337d35e94befb7ddb324 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/serialize/SmartThingsConfig.java
+++ b/src/main/gov/nasa/jpf/vm/serialize/SmartThingsConfig.java
@@ -156,6 +156,8 @@ public class SmartThingsConfig
   @Override
   public FramePolicy ammendFramePolicy(MethodInfo mi, FramePolicy sofar) {
     ClassInfo ci = mi.getClassInfo();
+    // TODO: Fix for Groovy's model-checking
+    // TODO: Change of sid assignment strategy since the previous one caused a bug with SmartThings object filtering
     if (ignoreClass(ci) || checkName(mi.getName())) {
       sofar.includeLocals = false;
       sofar.includeOps = false;