Searched refs:setIsFullyTested (Results 1 – 1 of 1) sorted by relevance
87 void setIsFullyTested(bool V) { IsFullyTested = V; } in setIsFullyTested() function145 PossibleLeaves.back().setIsFullyTested(IsFullyTested); in addPossibleLeaf()