diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-19 13:33:21 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-19 13:33:21 -0800 |
commit | ea13085fe34bed2e827fe8ec6fb7e24c6e1a5d8f (patch) | |
tree | cf0dd47d29716f6ef34baca85a6c1b9514567b5a /src/aig/gia/giaEquiv.c | |
parent | c2b2e99284727cc0b1c8122b267746cf598846ab (diff) | |
download | abc-ea13085fe34bed2e827fe8ec6fb7e24c6e1a5d8f.tar.gz abc-ea13085fe34bed2e827fe8ec6fb7e24c6e1a5d8f.tar.bz2 abc-ea13085fe34bed2e827fe8ec6fb7e24c6e1a5d8f.zip |
Added printout of BMC tents in &ps.
Diffstat (limited to 'src/aig/gia/giaEquiv.c')
-rw-r--r-- | src/aig/gia/giaEquiv.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c index e244ef46..3c5ad848 100644 --- a/src/aig/gia/giaEquiv.c +++ b/src/aig/gia/giaEquiv.c @@ -1686,7 +1686,7 @@ int Gia_CommandSpecI( Gia_Man_t * pGia, int nFramesInit, int nBTLimitInit, int f } // (spech)* where spech = &srm; restore save3; bmc2 -F 100 -C 25000; &resim Gia_ManCleanMark0( pGia ); - Gia_ManPrintStats( pGia, 0 ); + Gia_ManPrintStats( pGia, 0, 0 ); for ( nIter = 0; ; nIter++ ) { if ( Gia_ManHasNoEquivs(pGia) ) |