diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-23 13:11:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-23 13:11:59 -0700 |
| commit | 44d9c7e54307f64cbcdc7c8cd17ff6e219e13b55 (patch) | |
| tree | 2ae1aa5fef6ca8198f0c2fb6123c3d1494dbe2b4 /src/sat/bmc | |
| parent | f93e5244219b75224df0c75b424654bd2424852b (diff) | |
| download | abc-44d9c7e54307f64cbcdc7c8cd17ff6e219e13b55.tar.gz abc-44d9c7e54307f64cbcdc7c8cd17ff6e219e13b55.tar.bz2 abc-44d9c7e54307f64cbcdc7c8cd17ff6e219e13b55.zip | |
Improvements to CNF generation.
Diffstat (limited to 'src/sat/bmc')
| -rw-r--r-- | src/sat/bmc/bmcFault.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/bmc/bmcFault.c b/src/sat/bmc/bmcFault.c index fd33a338..5acc01cc 100644 --- a/src/sat/bmc/bmcFault.c +++ b/src/sat/bmc/bmcFault.c @@ -141,6 +141,7 @@ static inline Cnf_Dat_t * Cnf_DeriveGiaRemapped( Gia_Man_t * p ) pCnf = Cnf_Derive( pAig, Aig_ManCoNum(pAig) ); Aig_ManStop( pAig ); return pCnf; +// return Mf_ManGenerateCnf( p, 8, 0, 0, 0 ); } /**Function************************************************************* |