From 7b8863466eacfd6b63159600e62816f830acece6 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 1 Apr 2014 11:53:08 -0700 Subject: Adding switch to handle only single faults. --- src/proof/int2/int2Bmc.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof/int2/int2Bmc.c') diff --git a/src/proof/int2/int2Bmc.c b/src/proof/int2/int2Bmc.c index cd7f1a74..641bfb84 100644 --- a/src/proof/int2/int2Bmc.c +++ b/src/proof/int2/int2Bmc.c @@ -293,7 +293,7 @@ void Int2_ManCreateFrames( Int2_Man_t * p, int iFrame, Vec_Int_t * vPrefCos ) if ( Entry < Gia_ManObjNum(pFrames) ) { assert( !Abc_LitIsCompl(iLit) ); - sat_solver_add_and( p->pGiaPref, Abc_Lit2Var(iLit), Abc_Lit2Var(iLit0), Abc_Lit2Var(iLit1), Abc_LitIsCompl(iLit0), Abc_LitIsCompl(iLit1) ); + sat_solver_add_and( p->pGiaPref, Abc_Lit2Var(iLit), Abc_Lit2Var(iLit0), Abc_Lit2Var(iLit1), Abc_LitIsCompl(iLit0), Abc_LitIsCompl(iLit1), 0 ); } } else -- cgit v1.2.3