diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-01 12:11:46 -0400 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-01 12:11:46 -0400 |
commit | 3b8095a6715f8d9befa450d61af5e8567c1f19ac (patch) | |
tree | 2bc6eda79f5b3d40433bb69db14646d1fcfdf112 /src/aig/gia/giaEquiv.c | |
parent | 57b51411813a7eab9943cc7b0efa884949156171 (diff) | |
download | abc-3b8095a6715f8d9befa450d61af5e8567c1f19ac.tar.gz abc-3b8095a6715f8d9befa450d61af5e8567c1f19ac.tar.bz2 abc-3b8095a6715f8d9befa450d61af5e8567c1f19ac.zip |
Sweeper condition complement bug-fix and code for internal verification.
Diffstat (limited to 'src/aig/gia/giaEquiv.c')
-rw-r--r-- | src/aig/gia/giaEquiv.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c index 13443414..c5dba25b 100644 --- a/src/aig/gia/giaEquiv.c +++ b/src/aig/gia/giaEquiv.c @@ -1882,7 +1882,7 @@ int Gia_ManFilterEquivsForSpeculation( Gia_Man_t * pGia, char * pName1, char * p Abc_Print( 1, "Cannot read second file %s.\n", pName2 ); return 0; } - pMiter = Gia_ManMiter( pGia1, pGia2, 0, 0, 1, 0 ); + pMiter = Gia_ManMiter( pGia1, pGia2, 0, 0, 1, 0, 0 ); if ( pMiter == NULL ) { Gia_ManStop( pGia1 ); @@ -2021,7 +2021,7 @@ int Gia_ManFilterEquivsUsingParts( Gia_Man_t * pGia, char * pName1, char * pName Abc_Print( 1, "Cannot read second file %s.\n", pName2 ); return 0; } - pMiter = Gia_ManMiter( pGia1, pGia2, 0, 0, 1, 0 ); + pMiter = Gia_ManMiter( pGia1, pGia2, 0, 0, 1, 0, 0 ); if ( pMiter == NULL ) { Gia_ManStop( pGia1 ); |