Searched refs:Abc_CommandUnfold (Results 1 – 1 of 1) sorted by relevance
352 static int Abc_CommandUnfold ( Abc_Frame_t * pAbc, int argc, char ** argv );1069 Cmd_CommandAdd( pAbc, "Verification", "unfold", Abc_CommandUnfold, 1 ); in Abc_Init()27767 int Abc_CommandUnfold( Abc_Frame_t * pAbc, int argc, char ** argv ) in Abc_CommandUnfold() function