diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-20 13:50:19 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-20 13:50:19 -0700 |
| commit | 555ed0b1589570219e5bf71789a234105b353815 (patch) | |
| tree | 8aab7247cc92a6cce0e82c49fc748f72a699c563 /src/aig/gia/giaEquiv.c | |
| parent | c6a290ee971481d7f8792a96772deb77b6885206 (diff) | |
| download | abc-555ed0b1589570219e5bf71789a234105b353815.tar.gz abc-555ed0b1589570219e5bf71789a234105b353815.tar.bz2 abc-555ed0b1589570219e5bf71789a234105b353815.zip | |
Enabling AIGs without structural hashing.
Diffstat (limited to 'src/aig/gia/giaEquiv.c')
| -rw-r--r-- | src/aig/gia/giaEquiv.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c index 71b32d7d..d383ce41 100644 --- a/src/aig/gia/giaEquiv.c +++ b/src/aig/gia/giaEquiv.c @@ -1185,7 +1185,7 @@ void Gia_ManEquivMark( Gia_Man_t * p, char * pFileName, int fSkipSome, int fVerb return; } // read AIGER file - pMiter = Gia_AigerRead( pFileName, 0, 0 ); + pMiter = Gia_AigerRead( pFileName, 0, 0, 0 ); if ( pMiter == NULL ) { Abc_Print( 1, "Gia_ManEquivMark(): Input file %s could not be read.\n", pFileName ); @@ -1869,13 +1869,13 @@ int Gia_ManFilterEquivsForSpeculation( Gia_Man_t * pGia, char * pName1, char * p Abc_Print( 1, "Equivalences are not defined.\n" ); return 0; } - pGia1 = Gia_AigerRead( pName1, 0, 0 ); + pGia1 = Gia_AigerRead( pName1, 0, 0, 0 ); if ( pGia1 == NULL ) { Abc_Print( 1, "Cannot read first file %s.\n", pName1 ); return 0; } - pGia2 = Gia_AigerRead( pName2, 0, 0 ); + pGia2 = Gia_AigerRead( pName2, 0, 0, 0 ); if ( pGia2 == NULL ) { Gia_ManStop( pGia2 ); @@ -2008,13 +2008,13 @@ int Gia_ManFilterEquivsUsingParts( Gia_Man_t * pGia, char * pName1, char * pName Abc_Print( 1, "Equivalences are not defined.\n" ); return 0; } - pGia1 = Gia_AigerRead( pName1, 0, 0 ); + pGia1 = Gia_AigerRead( pName1, 0, 0, 0 ); if ( pGia1 == NULL ) { Abc_Print( 1, "Cannot read first file %s.\n", pName1 ); return 0; } - pGia2 = Gia_AigerRead( pName2, 0, 0 ); + pGia2 = Gia_AigerRead( pName2, 0, 0, 0 ); if ( pGia2 == NULL ) { Gia_ManStop( pGia2 ); |