Fix(print_mffc): Missing condition when single output linked to CO

This commit is contained in:
wjrforcyber 2025-01-17 18:26:53 +08:00
parent d5e1a5d445
commit 910a66a372
No known key found for this signature in database
1 changed files with 1 additions and 1 deletions

View File

@ -1083,7 +1083,7 @@ void Abc_NtkPrintMffc( FILE * pFile, Abc_Ntk_t * pNtk )
int i;
extern void Abc_NodeMffcConeSuppPrint( Abc_Obj_t * pNode );
Abc_NtkForEachNode( pNtk, pNode, i )
if ( Abc_ObjFanoutNum(pNode) > 1 )
if ( Abc_ObjFanoutNum(pNode) > 1 || (Abc_ObjFanoutNum(pNode) == 1 && Abc_ObjIsCo(Abc_ObjFanout0(pNode))))
Abc_NodeMffcConeSuppPrint( pNode );
}