diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-04 22:30:27 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-04 22:30:27 -0800 |
commit | a1d2ba0fcc4748e6b6181c74d684c5d06d8209f1 (patch) | |
tree | 41cb2ed2db32d0f5643b45c2dbc5e6d4a5a79f27 /src/sat/bmc/bmcBmc3.c | |
parent | 0ab8cd1191bfecefdbd62738d5b15af53979fd2a (diff) | |
download | abc-a1d2ba0fcc4748e6b6181c74d684c5d06d8209f1.tar.gz abc-a1d2ba0fcc4748e6b6181c74d684c5d06d8209f1.tar.bz2 abc-a1d2ba0fcc4748e6b6181c74d684c5d06d8209f1.zip |
Tuning for multi-ouptut solver.
Diffstat (limited to 'src/sat/bmc/bmcBmc3.c')
-rw-r--r-- | src/sat/bmc/bmcBmc3.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcBmc3.c b/src/sat/bmc/bmcBmc3.c index 28b89f7b..72fbcc21 100644 --- a/src/sat/bmc/bmcBmc3.c +++ b/src/sat/bmc/bmcBmc3.c @@ -1649,7 +1649,7 @@ nTimeSat += Abc_Clock() - clk2; Vec_PtrWriteEntry( p->vCexes, k, Abc_CexDup(pCexNew, Saig_ManRegNum(pAig)) ); } Abc_CexFreeP( &pCexNew0 ); - Abc_CexFreeP( &pCexNew ); + Abc_CexFree( pCexNew ); } else { |