diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-06-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-06-10 08:01:00 -0700 |
| commit | 9d09f583b6ea1181ebd5af1654acd3432c427445 (patch) | |
| tree | 2ea6fb1cc6f70871f861dd0ccbe7f8522c34c765 /src/aig/ivy | |
| parent | 9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff (diff) | |
| download | abc-9d09f583b6ea1181ebd5af1654acd3432c427445.tar.gz abc-9d09f583b6ea1181ebd5af1654acd3432c427445.tar.bz2 abc-9d09f583b6ea1181ebd5af1654acd3432c427445.zip | |
Version abc80610
Diffstat (limited to 'src/aig/ivy')
| -rw-r--r-- | src/aig/ivy/ivyFraig.c | 4 |
1 files changed, 2 insertions, 2 deletions
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++; } |