Searched refs:Abc_CommandAbc9SplitProve (Results 1 – 1 of 1) sorted by relevance
511 static int Abc_CommandAbc9SplitProve ( Abc_Frame_t * pAbc, int argc, char ** argv );1227 Cmd_CommandAdd( pAbc, "ABC9", "&splitprove", Abc_CommandAbc9SplitProve, 0 ); in Abc_Init()42608 int Abc_CommandAbc9SplitProve( Abc_Frame_t * pAbc, int argc, char ** argv ) in Abc_CommandAbc9SplitProve() function