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