Searched refs:Bmc_ChainFindFailedOutputs (Results 1 – 1 of 1) sorted by relevance
207 Vec_Int_t * Bmc_ChainFindFailedOutputs( Gia_Man_t * p, Vec_Ptr_t * vCexes ) in Bmc_ChainFindFailedOutputs() function341 vOutputs = Bmc_ChainFindFailedOutputs( pNew, pvCexes ? *pvCexes : NULL ); in Bmc_ChainTest()