diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-04 11:01:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-04 11:01:39 -0700 |
| commit | 044c7a0794e7bf5a608a4f16dcba8912c3ffd634 (patch) | |
| tree | 0a62ae0ad2a5738711f50698a8fd38d2272afa17 /src | |
| parent | 6df13962739353022cc365b6b4c6a72014e05a35 (diff) | |
| download | abc-044c7a0794e7bf5a608a4f16dcba8912c3ffd634.tar.gz abc-044c7a0794e7bf5a608a4f16dcba8912c3ffd634.tar.bz2 abc-044c7a0794e7bf5a608a4f16dcba8912c3ffd634.zip | |
Disabling unused feature in &nf.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaNf.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index 9a374dda..eaaf24e9 100644 --- a/src/aig/gia/giaNf.c +++ b/src/aig/gia/giaNf.c @@ -2407,11 +2407,13 @@ Gia_Man_t * Nf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars ) } Nf_ManFixPoDrivers( p ); pNew = Nf_ManDeriveMapping( p ); +/* if ( pPars->fAreaOnly ) { int Sbm_ManTestSat( void * pMan ); Sbm_ManTestSat( p ); } +*/ Nf_StoDelete( p ); return pNew; } |