Home
last modified time | relevance | path

Searched refs:pLogFileName (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dabc.c3432 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 …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A Dbmc.h114 char * pLogFileName; // log file name member
H A DbmcBmc3.c1474 if ( pPars->pLogFileName ) in Saig_ManBmcScalable()
1475 pLogFile = fopen( pPars->pLogFileName, "wb" ); in Saig_ManBmcScalable()