diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-07 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-07 08:01:00 -0800 |
| commit | 5a6924060bffb688101f54711f967305fc3fa480 (patch) | |
| tree | 388d896072828c76216de12f3fdac7775f6160f7 /src/aig/fra/fraInd.c | |
| parent | 7174787abafe80437892b55a53f994da85a37342 (diff) | |
| download | abc-5a6924060bffb688101f54711f967305fc3fa480.tar.gz abc-5a6924060bffb688101f54711f967305fc3fa480.tar.bz2 abc-5a6924060bffb688101f54711f967305fc3fa480.zip | |
Version abc80207
Diffstat (limited to 'src/aig/fra/fraInd.c')
| -rw-r--r-- | src/aig/fra/fraInd.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/aig/fra/fraInd.c b/src/aig/fra/fraInd.c index 07044b52..ea17706c 100644 --- a/src/aig/fra/fraInd.c +++ b/src/aig/fra/fraInd.c @@ -471,12 +471,14 @@ clk2 = clock(); if ( p->pPars->fWriteImps && p->vOneHots && Fra_OneHotCount(p, p->vOneHots) ) { extern void Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int fCompact ); - char Buffer[500]; + char Buffer[500], * pStart; Aig_Man_t * pNew; pManAigNew = Aig_ManDup( pManAig, 1 ); // pManAigNew->pManExdc = Fra_OneHotCreateExdc( p, p->vOneHots ); pNew = Fra_OneHotCreateExdc( p, p->vOneHots ); - sprintf( Buffer, "%s_care.aig", p->pManAig->pName ); + pStart = Ioa_FileNameGeneric(p->pManAig->pName); + sprintf( Buffer, "%s_care.aig", pStart ); + free( pStart ); printf( "Care one-hotness clauses are written into file \"%s\".\n", Buffer ); Ioa_WriteAiger( pNew, Buffer, 0, 1 ); Aig_ManStop( pNew ); |