From 9d09f583b6ea1181ebd5af1654acd3432c427445 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 10 Jun 2008 08:01:00 -0700 Subject: Version abc80610 --- src/aig/ivy/ivyFraig.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig/ivy') diff --git a/src/aig/ivy/ivyFraig.c b/src/aig/ivy/ivyFraig.c index d049d660..0d9d42a3 100644 --- a/src/aig/ivy/ivyFraig.c +++ b/src/aig/ivy/ivyFraig.c @@ -2260,8 +2260,8 @@ p->timeSat += clock() - clk; { p->timeSatUnsat += clock() - clk; pLits[0] = lit_neg( pLits[0] ); - RetValue = sat_solver_addclause( p->pSat, pLits, pLits + 1 ); - assert( RetValue ); +// RetValue = sat_solver_addclause( p->pSat, pLits, pLits + 1 ); +// assert( RetValue ); // continue solving the other implication p->nSatCallsUnsat++; } -- cgit v1.2.3