Searched refs:InitialTeamState (Results 1 – 1 of 1) sorted by relevance
294 TeamStateTy InitialTeamState; in assumeInitialState() local295 InitialTeamState.init(IsSPMD); in assumeInitialState()296 InitialTeamState.assertEqual(TeamState); in assumeInitialState()