Skip to content

A
abc
Commit 0f1624e5 by Alan Mishchenko
Options

The same bug fix in 'scorr -c' (signal correspondence with constraints).

parent 1bb91816
Showing with 4 additions and 2 deletions
src/proof/ssw/sswConstr.c
...@@ -533,8 +533,10 @@ clk = Abc_Clock(); ...@@ -533,8 +533,10 @@ clk = Abc_Clock();
continue; continue;
} }
Ssw_NodesAreConstrained( p, pObjNew, Aig_ManConst0(p->pFrames) ); Ssw_NodesAreConstrained( p, pObjNew, Aig_ManConst0(p->pFrames) );
} }
// sweep flops
Saig_ManForEachLo( p->pAig, pObj, i )
p->fRefined |= Ssw_ManSweepNodeConstr( p, pObj, f, 1 );
// sweep internal nodes // sweep internal nodes
Aig_ManForEachNode( p->pAig, pObj, i ) Aig_ManForEachNode( p->pAig, pObj, i )
{ {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment