Lines Matching full:assumption
4962 We rely on the assumption that V will in fact only allow one thread at
