Searched refs:assertionStates (Results 1 – 1 of 1) sorted by relevance
25 Assertion assertionStates = in getAssertionSet() local31 return std::make_pair(assertionStates, deassertionStates); in getAssertionSet()