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

Fix to the jsonc writer.

This commit is contained in:
Alan Mishchenko 2025-12-17 15:05:12 -08:00
parent 15abe445f4
commit 9a2cf907da
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/base/io/ioJsonc.c
View File

@ -709,7 +709,7 @@ void Jsonc_WriteTest( Abc_Ntk_t * p, char * pFileName )
fprintf( pFile, " {\n" ); fprintf( pFile, " {\n" );
fprintf( pFile, " \"type\": \"%s\",\n", "instance" ); fprintf( pFile, " \"type\": \"%s\",\n", "instance" );
fprintf( pFile, " \"name\": \"%s\",\n", Mio_GateReadName(pGate) ); fprintf( pFile, " \"name\": \"%s\",\n", Mio_GateReadName(pGate) );
fprintf( pFile, " \"fanins\": [\n" ); fprintf( pFile, " \"fanins\":\n" );
fprintf( pFile, " {\n" ); fprintf( pFile, " {\n" );
for ( pPin = Mio_GateReadPins(pGate), k = 0; pPin; pPin = Mio_PinReadNext(pPin), k++ ) for ( pPin = Mio_GateReadPins(pGate), k = 0; pPin; pPin = Mio_PinReadNext(pPin), k++ )
{ {
@ -722,7 +722,7 @@ void Jsonc_WriteTest( Abc_Ntk_t * p, char * pFileName )
fprintf( pFile, " }%s\n", Mio_PinReadNext(pPin) ? "," : "" ); fprintf( pFile, " }%s\n", Mio_PinReadNext(pPin) ? "," : "" );
} }
fprintf( pFile, " }\n" ); fprintf( pFile, " }\n" );
fprintf( pFile, " ]\n" ); //fprintf( pFile, " ]\n" );
fprintf( pFile, " }%s\n", ++Counter == Total ? "" : "," ); fprintf( pFile, " }%s\n", ++Counter == Total ? "" : "," );
} }
Abc_NtkForEachPo( p, pObj, i ) Abc_NtkForEachPo( p, pObj, i )