Searched refs:Bmc_CexTest (Results 1 – 2 of 2) sorted by relevance
816 void Bmc_CexTest( Gia_Man_t * p, Abc_Cex_t * pCex, int fVerbose ) in Bmc_CexTest() function
41883 extern void Bmc_CexTest( Gia_Man_t * p, Abc_Cex_t * pCex, int fVerbose ); in Abc_CommandAbc9CexInfo()41912 Bmc_CexTest( pAbc->pGia, pAbc->pCex, fVerbose ); in Abc_CommandAbc9CexInfo()