diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-16 22:36:23 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-16 22:36:23 +0700 |
| commit | 7457b8a64ae92880b8c04f1128298ee51becb76f (patch) | |
| tree | 2a6772616f6fbedf9d5b2a2314d43e954d87fb39 /src/proof/acec/acecNorm.c | |
| parent | 153b71c1403ed79d7650ad702bb343e0490e36c9 (diff) | |
| download | abc-7457b8a64ae92880b8c04f1128298ee51becb76f.tar.gz abc-7457b8a64ae92880b8c04f1128298ee51becb76f.tar.bz2 abc-7457b8a64ae92880b8c04f1128298ee51becb76f.zip | |
Updates to arithmetic verification.
Diffstat (limited to 'src/proof/acec/acecNorm.c')
| -rw-r--r-- | src/proof/acec/acecNorm.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/acec/acecNorm.c b/src/proof/acec/acecNorm.c index 0d209524..6b36589c 100644 --- a/src/proof/acec/acecNorm.c +++ b/src/proof/acec/acecNorm.c @@ -201,7 +201,7 @@ Gia_Man_t * Acec_InsertBox( Acec_Box_t * pBox, int fAll ) Gia_Man_t * Acec_Normalize( Gia_Man_t * pGia, int fBooth, int fVerbose ) { Vec_Bit_t * vIgnore = fBooth ? Acec_BoothFindPPG( pGia ) : NULL; - Acec_Box_t * pBox = Acec_DeriveBox( pGia, vIgnore, fVerbose ); + Acec_Box_t * pBox = Acec_DeriveBox( pGia, vIgnore, 0, 0, fVerbose ); Gia_Man_t * pNew = Acec_InsertBox( pBox, 1 ); Acec_BoxFreeP( &pBox ); Vec_BitFreeP( &vIgnore ); |