luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Updating the print-out after the bug fix.

This commit is contained in:
Alan Mishchenko 2024-05-30 08:43:58 +02:00
parent 17b1ec7655
commit 806a996b88
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/map/mapper/mapperCutUtils.c
View File

@ -255,7 +255,9 @@ Vec_Ptr_t * Map_CutInternalNodes( Map_Node_t * pObj, Map_Cut_t * pCut )
printf( "\n" );
printf( "Nodes:\n" );
Vec_PtrForEachEntry( Map_Node_t *, vAnds, pTemp, i )
printf( "%d=(%d,%d)\n", pTemp->Num, pTemp->p1->Num, pTemp->p2->Num );
printf( "%d = %s%d & %s%d\n", pTemp->Num,
Map_IsComplement(pTemp->p1) ? "~" : " ", Map_Regular(pTemp->p1)->Num,
Map_IsComplement(pTemp->p2) ? "~" : " ", Map_Regular(pTemp->p2)->Num );
printf( "\n" );
}
return vAnds;