Searched refs:Abc_CommandInduction (Results 1 – 1 of 1) sorted by relevance
350 static int Abc_CommandInduction ( Abc_Frame_t * pAbc, int argc, char ** argv );1067 Cmd_CommandAdd( pAbc, "Verification", "ind", Abc_CommandInduction, 0 ); in Abc_Init()27439 int Abc_CommandInduction( Abc_Frame_t * pAbc, int argc, char ** argv ) in Abc_CommandInduction() function