diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-21 14:57:05 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-21 14:57:05 -0800 |
| commit | b3d81b5f76aa3673bb4c6e5c79056cfb4950082e (patch) | |
| tree | 17c333850a2d166697f8377a1f37f95eca02a304 /src/aig/gia/giaTim.c | |
| parent | d4ce4cc982961775570ed0ef7cf14054b36f0fad (diff) | |
| download | abc-b3d81b5f76aa3673bb4c6e5c79056cfb4950082e.tar.gz abc-b3d81b5f76aa3673bb4c6e5c79056cfb4950082e.tar.bz2 abc-b3d81b5f76aa3673bb4c6e5c79056cfb4950082e.zip | |
Exploring other ways of CEX writing.
Diffstat (limited to 'src/aig/gia/giaTim.c')
| -rw-r--r-- | src/aig/gia/giaTim.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaTim.c b/src/aig/gia/giaTim.c index e136f68f..3f65d65f 100644 --- a/src/aig/gia/giaTim.c +++ b/src/aig/gia/giaTim.c @@ -874,7 +874,7 @@ Gia_Man_t * Gia_ManDupCollapse( Gia_Man_t * p, Gia_Man_t * pBoxes, Vec_Int_t * v pInit[i] = 'X'; } pInit[i] = 0; - pNew = Gia_ManDupZeroUndc( pTemp = pNew, pInit, 0, 1 ); + pNew = Gia_ManDupZeroUndc( pTemp = pNew, pInit, 0, 0, 1 ); pNew->nConstrs = pTemp->nConstrs; pTemp->nConstrs = 0; Gia_ManStop( pTemp ); ABC_FREE( pInit ); |