diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-05 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-05 08:01:00 -0700 |
| commit | 7b734f23fc23694ccffdb7e3cd31335ffe6cb272 (patch) | |
| tree | d6df566bac26ffb6af1eb01d215d6c4f9785dfa9 /src/aig/saig | |
| parent | 17ab7c7135befeb4e1d33385496959a16bd55054 (diff) | |
| download | abc-7b734f23fc23694ccffdb7e3cd31335ffe6cb272.tar.gz abc-7b734f23fc23694ccffdb7e3cd31335ffe6cb272.tar.bz2 abc-7b734f23fc23694ccffdb7e3cd31335ffe6cb272.zip | |
Version abc80705
Diffstat (limited to 'src/aig/saig')
| -rw-r--r-- | src/aig/saig/saigInter.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/saig/saigInter.c b/src/aig/saig/saigInter.c index afc4a34a..ae8d02ec 100644 --- a/src/aig/saig/saigInter.c +++ b/src/aig/saig/saigInter.c @@ -412,7 +412,7 @@ int Saig_ManCheckContainment( Aig_Man_t * pNew, Aig_Man_t * pOld ) pAigTemp = Fra_FraigEquivence( pMiter, 1000000, 1 ); RetValue = Fra_FraigMiterStatus( pAigTemp ); Aig_ManStop( pAigTemp ); -// RetValue = Fra_FraigSat( pMiter, 1000000, 0, 0 ); +// RetValue = Fra_FraigSat( pMiter, 1000000, 0, 0, 0 ); } assert( RetValue != -1 ); Aig_ManStop( pMiter ); |