diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-21 20:20:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-21 20:20:26 -0700 |
| commit | 3c0a9e0862f982de942f70c1d6468a1d573fa06b (patch) | |
| tree | d017c33ddbf616e8b543ce93d22d7643a3e499e8 /src/aig | |
| parent | 675b0892a88a7332c8949e4fd4741ce56642fb5e (diff) | |
| download | abc-3c0a9e0862f982de942f70c1d6468a1d573fa06b.tar.gz abc-3c0a9e0862f982de942f70c1d6468a1d573fa06b.tar.bz2 abc-3c0a9e0862f982de942f70c1d6468a1d573fa06b.zip | |
Switch -A <file_name> to specify file name for dumping abstrated model with &vta -d.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/gia.h | 1 | ||||
| -rw-r--r-- | src/aig/gia/giaAbsVta.c | 5 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index eec6dd22..1bb883fa 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -211,6 +211,7 @@ struct Gia_ParVta_t_ int fUseTermVars; // use terminal variables int fUseRollback; // use rollback to the starting number of frames int fDumpVabs; // dumps the abstracted model + char * pFileVabs; // dumps the abstracted model into this file int fVerbose; // verbose flag int iFrame; // the number of frames covered }; diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c index 5aeca72e..6bc5bd4f 100644 --- a/src/aig/gia/giaAbsVta.c +++ b/src/aig/gia/giaAbsVta.c @@ -1441,9 +1441,10 @@ void Gia_VtaSendCancel( Vta_Man_t * p, int fVerbose ) ***********************************************************************/ void Gia_VtaDumpAbsracted( Vta_Man_t * p, int fVerbose ) { + char * pFileName = p->pPars->pFileVabs ? p->pPars->pFileVabs : "vabs.aig"; Gia_Man_t * pAbs; if ( fVerbose ) - Abc_Print( 1, "Dumping abstracted model into file \"vabs.aig\"...\n" ); + Abc_Print( 1, "Dumping abstracted model into file \"%s\"...\n", pFileName ); // if ( !Abc_FrameIsBridgeMode() ) // return; // create obj classes @@ -1457,7 +1458,7 @@ void Gia_VtaDumpAbsracted( Vta_Man_t * p, int fVerbose ) pAbs = Gia_ManDupAbsGates( p->pGia, p->pGia->vGateClasses ); Vec_IntFreeP( &p->pGia->vGateClasses ); // send it out - Gia_WriteAiger( pAbs, "vabs.aig", 0, 0 ); + Gia_WriteAiger( pAbs, pFileName, 0, 0 ); Gia_ManStop( pAbs ); } |