Searched refs:pLogFileName (Results 1 – 3 of 3) sorted by relevance
3432 if ( pLogFileName ) in Abc_CommandCollapse()11466 if ( pLogFileName ) in Abc_CommandReach()15759 if ( pLogFileName ) in Abc_CommandIProve()22483 if ( pLogFileName ) in Abc_CommandSim()22708 if ( pLogFileName ) in Abc_CommandSim3()24551 if ( pLogFileName ) in Abc_CommandDProve()26253 if ( pLogFileName ) in Abc_CommandBmc()26453 if ( pLogFileName ) in Abc_CommandBmc2()26712 if ( pLogFileName ) in Abc_CommandBmc3()26977 if ( pLogFileName ) in Abc_CommandBmcInter()[all …]
114 char * pLogFileName; // log file name member
1474 if ( pPars->pLogFileName ) in Saig_ManBmcScalable()1475 pLogFile = fopen( pPars->pLogFileName, "wb" ); in Saig_ManBmcScalable()