protected override bool MustExplore(TraversalInfo ti)
{
//Increment the number of transitions executed
ZingerStats.IncrementTransitionsCount();
if (!ti.IsFingerPrinted)
{
return true;
}
Fingerprint fp = ti.Fingerprint;
if (GlobalFrontierSet.Contains(fp) || ti.CurrentDepth > maxSearchDepth)
{
return false;
}
else
{
return true;
}
}