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/aig/gia/giaFalse.c | |
| 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/aig/gia/giaFalse.c')
| -rw-r--r-- | src/aig/gia/giaFalse.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaFalse.c b/src/aig/gia/giaFalse.c index c7a5a638..c918559f 100644 --- a/src/aig/gia/giaFalse.c +++ b/src/aig/gia/giaFalse.c @@ -180,10 +180,10 @@ void Gia_ManCheckFalseOne( Gia_Man_t * p, int iOut, int nTimeOut, Vec_Wec_t * vH continue; sat_solver_add_and( pSat, pObj->Value + Shift[0], Gia_ObjFanin0(pObj)->Value + Shift[0], Gia_ObjFanin1(pObj)->Value + Shift[0], - Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj) ); + Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj), 0 ); sat_solver_add_and( pSat, pObj->Value + Shift[1], Gia_ObjFanin0(pObj)->Value + Shift[1], Gia_ObjFanin1(pObj)->Value + Shift[1], - Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj) ); + Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj), 0 ); } // call the SAT solver status = sat_solver_solve( pSat, Vec_IntArray(vLits), Vec_IntArray(vLits) + Vec_IntSize(vLits), (ABC_INT64_T)0, (ABC_INT64_T)0, (ABC_INT64_T)0, (ABC_INT64_T)0 ); |