Searched refs:Gia_ShowPath (Results 1 – 1 of 1) sorted by relevance
51 void Gia_ShowPath( Gia_Man_t * p, char * pFileName ) in Gia_ShowPath() function1142 Gia_ShowPath( pMan, FileNameDot ); in Gia_ManShow()