From 5b2472d4b719875c8017814c9c81bcd4f4691011 Mon Sep 17 00:00:00 2001 From: Mathias Soeken Date: Fri, 9 Sep 2016 12:08:52 +0200 Subject: Missing case in BMS. --- src/base/abci/abcExact.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/base') diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c index 4a743abc..58e4db14 100644 --- a/src/base/abci/abcExact.c +++ b/src/base/abci/abcExact.c @@ -1344,7 +1344,10 @@ static int Ses_ManCreateClauses( Ses_Man_t * pSes ) Vec_IntPush( pSes->vAssump, Abc_Var2Lit( Ses_ManGateVar( pSes, pSes->nGates - 1 - i, 1, 1 ), 0 ) ); break; case 4: /* OR(!x,g) */ - assert( 0 ); /* should be impossible since all gates are normal */ + Vec_IntPush( pSes->vAssump, Abc_Var2Lit( Ses_ManGateVar( pSes, pSes->nGates - 1 - i, 0, 1 ), 0 ) ); + Vec_IntPush( pSes->vAssump, Abc_Var2Lit( Ses_ManGateVar( pSes, pSes->nGates - 1 - i, 1, 0 ), 1 ) ); + Vec_IntPush( pSes->vAssump, Abc_Var2Lit( Ses_ManGateVar( pSes, pSes->nGates - 1 - i, 1, 1 ), 0 ) ); + break; case 5: /* XOR(x,g) */ Vec_IntPush( pSes->vAssump, Abc_Var2Lit( Ses_ManGateVar( pSes, pSes->nGates - 1 - i, 0, 1 ), 0 ) ); Vec_IntPush( pSes->vAssump, Abc_Var2Lit( Ses_ManGateVar( pSes, pSes->nGates - 1 - i, 1, 0 ), 0 ) ); -- cgit v1.2.3