Searched refs:fDumpFiles (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaTim.c | 955 int Gia_ManVerifyWithBoxes( Gia_Man_t * pGia, int nBTLimit, int nTimeLim, int fSeq, int fDumpFiles,… in Gia_ManVerifyWithBoxes() argument
1018 if ( fDumpFiles ) in Gia_ManVerifyWithBoxes()
|
| H A D | gia.h | 1631 …WithBoxes( Gia_Man_t * pGia, int nBTLimit, int nTimeLim, int fSeq, int fDumpFiles, int fVerbose, c…
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abc.c | 36775 int c, nBTLimit = 1000, nTimeLim = 0, fSeq = 0, fDumpFiles = 0, fVerbose = 0; in Abc_CommandAbc9Verify() local
36807 fDumpFiles ^= 1; in Abc_CommandAbc9Verify()
36824 Gia_ManVerifyWithBoxes( pAbc->pGia, nBTLimit, nTimeLim, fSeq, fDumpFiles, fVerbose, pFileSpec ); in Abc_CommandAbc9Verify()
36833 …Abc_Print( -2, "\t-d : toggle dumping AIGs to be compared [default = %s]\n", fDumpFiles? "y… in Abc_CommandAbc9Verify()
44499 int c, fDumpFiles = 0, fDumpFilesTwo = 0, fDual = 0, fVerbose = 0; in Abc_CommandAbc9Demiter() local
44506 fDumpFiles ^= 1; in Abc_CommandAbc9Demiter()
44528 if ( fDumpFiles || fDumpFilesTwo ) in Abc_CommandAbc9Demiter()
44576 … : write files with two sides of a dual-output miter [default = %s]\n", fDumpFiles? "yes": "no" ); in Abc_CommandAbc9Demiter()
|