==> DEBUG: Number of conflicts : 4
==> DEBUG: Number of transitions : 7
+==> DEBUG: State reduction mode : true
+==> DEBUG: Number of conflicts : 4
+==> DEBUG: Number of transitions : 7
+
// cache for a serialized representation of the object, which can be used
// by state-matching. Value interpretation depends on the configured Serializer
- protected int sid;
+ protected long sid;
// helpers for state storage/restore processing, to avoid explicit iterators on
//--- sids are only supposed to be used by the Serializer
- public void setSid(int id){
+ public void setSid(long id){
sid = id;
}
- public int getSid() {
+ public long getSid() {
return sid;
}
boolean isObject = ei.isObject();
ClassInfo ci = ei.getClassInfo();
- int ref = (useSid) ? ei.getSid() : ei.getObjectRef();
+ int ref = (useSid) ? ((int)ei.getSid()) : ei.getObjectRef();
ps.printf("@%x ", ref);
if (isObject){
// 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
- int initsidCount=0;
- int sidCount=1;
+ long initsidCount=0;
+ long sidCount=1;
@Override
protected void initReferenceQueue() {
buf.add(0);
return;
}
- int sid = ei.getSid();
+ long sid = ei.getSid();
if (sid <= initsidCount){ // count sid upwards from 1
sid = sidCount++;
}
// note that we always add the absolute sid value
- buf.add(sid - initsidCount);
+ buf.add((int)(sid - initsidCount));
}
}
@Override
protected int getSerializedReferenceValue (ElementInfo ei){
- return ei.getSid()-initsidCount;
+ return (int)(ei.getSid()-initsidCount);
}
}