Lines Matching refs:haveEqualStores
296 assert(StateMgr.haveEqualStores(CheckerState, EntryState) &&