diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 18:43:04 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 18:43:04 -0700 |
| commit | b0ef0aaf0055d35f3836be18997dfd350e36054d (patch) | |
| tree | 352198d3b430f478ec9054687be042c8183c6114 /src | |
| parent | ea98a2497e3e3df73ebfd27d3974d2de0e3c1bf8 (diff) | |
| download | abc-b0ef0aaf0055d35f3836be18997dfd350e36054d.tar.gz abc-b0ef0aaf0055d35f3836be18997dfd350e36054d.tar.bz2 abc-b0ef0aaf0055d35f3836be18997dfd350e36054d.zip | |
Fixing time primtouts throughout the code.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaAbsGla.c | 3 | ||||
| -rw-r--r-- | src/aig/gia/giaAbsVta.c | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/aig/gia/giaAbsGla.c b/src/aig/gia/giaAbsGla.c index 723a7dd7..0cd0b300 100644 --- a/src/aig/gia/giaAbsGla.c +++ b/src/aig/gia/giaAbsGla.c @@ -1716,7 +1716,8 @@ void Gia_GlaSendCancel( Gla_Man_t * p, int fVerbose ) ***********************************************************************/ void Gia_GlaDumpAbsracted( Gla_Man_t * p, int fVerbose ) { - char * pFileName = p->pPars->pFileVabs ? p->pPars->pFileVabs : "glabs.aig"; + char * pFileNameDef = "glabs.aig"; + char * pFileName = p->pPars->pFileVabs ? p->pPars->pFileVabs : pFileNameDef; Gia_Man_t * pAbs; Vec_Int_t * vGateClasses; if ( fVerbose ) diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c index 11c84853..59bcbb32 100644 --- a/src/aig/gia/giaAbsVta.c +++ b/src/aig/gia/giaAbsVta.c @@ -1475,7 +1475,8 @@ 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"; + char * pFileNameDef = "vabs.aig"; + char * pFileName = p->pPars->pFileVabs ? p->pPars->pFileVabs : pFileNameDef; Gia_Man_t * pAbs; if ( fVerbose ) Abc_Print( 1, "Dumping abstracted model into file \"%s\"...\n", pFileName ); |