Searched refs:nPaths2 (Results 1 – 1 of 1) sorted by relevance
349 int LevelD, LevelR, nPaths1, nPaths2; in Acb_NtkUpdateTiming() local379 nPaths2 = p->nPaths; in Acb_NtkUpdateTiming()380 assert( nPaths1 == nPaths2 ); in Acb_NtkUpdateTiming()