diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-07 21:48:32 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-07 21:48:32 -0800 |
| commit | 79e298b2b3c6831bc6776a92546a4e27119d8263 (patch) | |
| tree | 0e86818e5203aa9a44393994d4b38ca83edf00dc /src | |
| parent | 7ca64b3de5a13dbb9ad784671e4828a6e058778f (diff) | |
| download | abc-79e298b2b3c6831bc6776a92546a4e27119d8263.tar.gz abc-79e298b2b3c6831bc6776a92546a4e27119d8263.tar.bz2 abc-79e298b2b3c6831bc6776a92546a4e27119d8263.zip | |
Adding dumping json file with statistics in &mltest.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaGen.c | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/aig/gia/giaGen.c b/src/aig/gia/giaGen.c index f79e4c5f..3f07476c 100644 --- a/src/aig/gia/giaGen.c +++ b/src/aig/gia/giaGen.c @@ -293,7 +293,7 @@ void Gia_ManDumpPlaFiles( Gia_Man_t * p, int nCexesT, int nCexesV, int Seed, cha SeeAlso [] ***********************************************************************/ -void Gia_ManSimLogStats( Gia_Man_t * p, char * pDumpFile, int Total, int Correct ) +void Gia_ManSimLogStats( Gia_Man_t * p, char * pDumpFile, int Total, int Correct, int Guess ) { FILE * pTable = fopen( pDumpFile, "wb" ); fprintf( pTable, "{\n" ); @@ -301,9 +301,10 @@ void Gia_ManSimLogStats( Gia_Man_t * p, char * pDumpFile, int Total, int Correct fprintf( pTable, " \"input\" : %d,\n", Gia_ManCiNum(p) ); fprintf( pTable, " \"output\" : %d,\n", Gia_ManCoNum(p) ); fprintf( pTable, " \"and\" : %d,\n", Gia_ManAndNum(p) ); - fprintf( pTable, " \"level\" : %d\n", Gia_ManLevelNum(p) ); - fprintf( pTable, " \"total\" : %d\n", Total ); - fprintf( pTable, " \"correct\" : %d\n", Correct ); + fprintf( pTable, " \"level\" : %d,\n", Gia_ManLevelNum(p) ); + fprintf( pTable, " \"total\" : %d,\n", Total ); + fprintf( pTable, " \"correct\" : %d,\n", Correct ); + fprintf( pTable, " \"guess\" : %d\n", Guess ); fprintf( pTable, "}\n" ); fclose( pTable ); } @@ -410,7 +411,7 @@ void Gia_ManCompareValues( Gia_Man_t * p, Vec_Wrd_t * vSimsIn, Vec_Int_t * vValu Guess, 100.0*Guess/Vec_IntSize(vValues)); if ( pDumpFile == NULL ) return; - Gia_ManSimLogStats( p, pDumpFile, Vec_IntSize(vValues), Count ); + Gia_ManSimLogStats( p, pDumpFile, Vec_IntSize(vValues), Count, Guess ); printf( "Finished dumping statistics into file \"%s\".\n", pDumpFile ); } |