Searched refs:Abc_SclDumpStats (Results 1 – 4 of 4) sorted by relevance
339 Abc_SclDumpStats( p, "stats2.txt", p->timeTotal ); in Abc_SclDnsizePerformInt()
510 static inline void Abc_SclDumpStats( SC_Man * p, char * pFileName, abctime Time ) in Abc_SclDumpStats() function
1006 Abc_SclDumpStats( p, "stats2.txt", p->timeTotal ); in Abc_SclUpsizePerformInt()
677 Abc_SclDumpStats( p, "stats.txt", 0 ); in Abc_SclTimePerformInt()