diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-27 18:37:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-27 18:37:39 -0700 |
| commit | 613e8b2ad6b24369467179b15c2ab2638f9b8672 (patch) | |
| tree | 4dc851dd295a5f7703cb018af20847e001712d67 /src/aig/gia/giaAiger.c | |
| parent | 324d73c29a22766063df46f9e35a3cbe719a83c2 (diff) | |
| download | abc-613e8b2ad6b24369467179b15c2ab2638f9b8672.tar.gz abc-613e8b2ad6b24369467179b15c2ab2638f9b8672.tar.bz2 abc-613e8b2ad6b24369467179b15c2ab2638f9b8672.zip | |
SAT sweeping under constraints.
Diffstat (limited to 'src/aig/gia/giaAiger.c')
| -rw-r--r-- | src/aig/gia/giaAiger.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 19ea1447..e30d88de 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -1044,6 +1044,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int p->vNamesOut = pInit->vNamesOut; pInit->vNamesOut = NULL; p->pAigExtra = pInit->pAigExtra; pInit->pAigExtra = NULL; p->nAnd2Delay = pInit->nAnd2Delay; pInit->nAnd2Delay = 0; + p->nConstrs = pInit->nConstrs; pInit->nConstrs = 0; } else p = pInit; @@ -1137,7 +1138,6 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int Vec_StrFree( vStrExt ); if ( fVerbose ) printf( "Finished writing extension \"a\".\n" ); } -/* // write constraints if ( p->nConstrs ) { @@ -1145,7 +1145,6 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int Gia_FileWriteBufferSize( pFile, 4 ); Gia_FileWriteBufferSize( pFile, p->nConstrs ); } -*/ // write timing information if ( p->nAnd2Delay ) { |