diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-13 15:25:35 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-13 15:25:35 +0700 |
| commit | f5240276cb29e730be44b96da9013db046683a5f (patch) | |
| tree | 0e9daadb4e278cf978d2e312557f66a2de05314f /src/proof/acec/acecMult.c | |
| parent | d52dafa6c2365837543f15be7abd274f8654ba14 (diff) | |
| download | abc-f5240276cb29e730be44b96da9013db046683a5f.tar.gz abc-f5240276cb29e730be44b96da9013db046683a5f.tar.bz2 abc-f5240276cb29e730be44b96da9013db046683a5f.zip | |
Updates to arithmetic verification.
Diffstat (limited to 'src/proof/acec/acecMult.c')
| -rw-r--r-- | src/proof/acec/acecMult.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/acec/acecMult.c b/src/proof/acec/acecMult.c index 397f6d57..33c32144 100644 --- a/src/proof/acec/acecMult.c +++ b/src/proof/acec/acecMult.c @@ -389,7 +389,7 @@ Vec_Int_t * Acec_MultDetectInputs( Gia_Man_t * p, Vec_Wec_t * vLeafLits, Vec_Wec Vec_IntForEachEntry( vLevel, iLit, k ) { word Truth = Gia_ObjComputeTruth6Cis( p, iLit, vSupp, vTemp ); - if ( Vec_IntSize(vSupp) >= 4 ) + if ( Vec_IntSize(vSupp) >= 0 ) { printf( "Leaf = %4d : ", Abc_Lit2Var(iLit) ); printf( "Rank = %2d ", i ); |