diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-01 11:53:08 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-01 11:53:08 -0700 |
| commit | 7b8863466eacfd6b63159600e62816f830acece6 (patch) | |
| tree | 121788940097c38fa8b7530835c38be46f5e9a2a /src/map | |
| parent | 41e94c474a26ac18cbe75572066411dd9ece81d0 (diff) | |
| download | abc-7b8863466eacfd6b63159600e62816f830acece6.tar.gz abc-7b8863466eacfd6b63159600e62816f830acece6.tar.bz2 abc-7b8863466eacfd6b63159600e62816f830acece6.zip | |
Adding switch to handle only single faults.
Diffstat (limited to 'src/map')
| -rw-r--r-- | src/map/if/ifSelect.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifSelect.c b/src/map/if/ifSelect.c index 78557583..21e3be72 100644 --- a/src/map/if/ifSelect.c +++ b/src/map/if/ifSelect.c @@ -455,7 +455,7 @@ int If_ManNodeShapeSat( If_Man_t * pIfMan, If_Obj_t * pIfObj, Vec_Int_t * vShape assert( Vec_IntSize(vFanins) > 0 ); sat_solver_add_choice( pSat, If_ObjSatVar(pObj), vFanins ); // external assert( If_ObjSatVar(pObj) > 0 ); -// sat_solver_add_and( pSat, If_ObjSatVar(pObj)+1, If_ObjSatVar(pObj->pFanin0), If_ObjSatVar(pObj->pFanin1), 0, 0 ); +// sat_solver_add_and( pSat, If_ObjSatVar(pObj)+1, If_ObjSatVar(pObj->pFanin0), If_ObjSatVar(pObj->pFanin1), 0, 0, 0 ); if ( If_ObjSatVar(pObj->pFanin0) > 0 && If_ObjSatVar(pObj->pFanin1) > 0 ) { int Lits[2]; |