diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-28 17:04:22 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-28 17:04:22 -0800 |
commit | 9171bb32ad332d2b76e3c85ff64308065b89367d (patch) | |
tree | e9a5257d41c02739e02c5d92083f0986b4adc023 /src/proof/acec/acecMult.c | |
parent | 782125c61e78d7f14e129667433b54e2fc434d50 (diff) | |
download | abc-9171bb32ad332d2b76e3c85ff64308065b89367d.tar.gz abc-9171bb32ad332d2b76e3c85ff64308065b89367d.tar.bz2 abc-9171bb32ad332d2b76e3c85ff64308065b89367d.zip |
Updates to arithmetic verification.
Diffstat (limited to 'src/proof/acec/acecMult.c')
-rw-r--r-- | src/proof/acec/acecMult.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/acec/acecMult.c b/src/proof/acec/acecMult.c index d868c399..ba9405ac 100644 --- a/src/proof/acec/acecMult.c +++ b/src/proof/acec/acecMult.c @@ -499,6 +499,7 @@ Vec_Int_t * Acec_MultFindPPs( Gia_Man_t * p ) { if ( Truth == Saved[i] || Truth == ~Saved[i] ) { + //printf( "*** Node %d is PP with support %d.\n", iObj, Vec_IntSize(vSupp) ); Acec_MultFindPPs_rec( p, iObj, vBold ); nProds++; break; |