luke/abc
1
0
Fork 0
mirror of https://github.com/YosysHQ/abc.git synced 2026-09-06 09:07:01 +02:00
Code Issues Packages Projects Releases Wiki Activity

Updated miter status check to detect the case when a PO is equal to a true PI.

Browse Source
This commit is contained in:
Alan Mishchenko
2011-10-01 10:51:33 +07:00
parent 7884dd01bc
commit ff4c674dd7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/aig/fra/fraCore.c
+1 -1
View File
@@ -81,7 +81,7 @@ int Fra_FraigMiterStatus( Aig_Man_t * p )
continue;
}
// check if the output is a primary input
if ( p->nRegs == 0 && Aig_ObjIsPi(Aig_Regular(pChild)) )
if ( Aig_ObjIsPi(Aig_Regular(pChild)) && Aig_ObjPioNum(Aig_Regular(pChild)) < p->nTruePis )
{
CountNonConst0++;
continue;