Searched refs:Abc_CommandTestExact (Results 1 – 1 of 1) sorted by relevance
161 static int Abc_CommandTestExact ( Abc_Frame_t * pAbc, int argc, char ** argv );879 Cmd_CommandAdd( pAbc, "Exact synthesis", "testexact", Abc_CommandTestExact, 0 ); in Abc_Init()9122 int Abc_CommandTestExact( Abc_Frame_t * pAbc, int argc, char ** argv ) in Abc_CommandTestExact() function