From 1bb918167e2c2822eef8b1ea708bfb51ef70e6d1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 28 Jul 2016 10:41:55 -0700 Subject: Serious bug fix in 'scorr -F ' with > 1. --- src/proof/ssw/sswSweep.c | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/proof') diff --git a/src/proof/ssw/sswSweep.c b/src/proof/ssw/sswSweep.c index 6db673cc..77cb24de 100644 --- a/src/proof/ssw/sswSweep.c +++ b/src/proof/ssw/sswSweep.c @@ -287,6 +287,9 @@ clk = Abc_Clock(); Ssw_ObjSetFrame( p, Aig_ManConst1(p->pAig), f, Aig_ManConst1(p->pFrames) ); Saig_ManForEachPi( p->pAig, pObj, i ) Ssw_ObjSetFrame( p, pObj, f, Aig_ObjCreateCi(p->pFrames) ); + // sweep flops + Saig_ManForEachLo( p->pAig, pObj, i ) + p->fRefined |= Ssw_ManSweepNode( p, pObj, f, 1, NULL ); // sweep internal nodes Aig_ManForEachNode( p->pAig, pObj, i ) { -- cgit v1.2.3