diff options
| author | Claire Xenia Wolf <claire@clairexen.net> | 2022-02-15 16:40:56 +0100 |
|---|---|---|
| committer | Claire Xenia Wolf <claire@clairexen.net> | 2022-02-15 16:40:56 +0100 |
| commit | db7ebfb4349f5c2c52f9cd58ab4d9c239ae25cb4 (patch) | |
| tree | c6ea8be47350b1581539d96f371b15974b634d62 /src/base/io | |
| parent | 1aeff0325e20f2f4109284f328e4f32e2035187e (diff) | |
| download | abc-db7ebfb4349f5c2c52f9cd58ab4d9c239ae25cb4.tar.gz abc-db7ebfb4349f5c2c52f9cd58ab4d9c239ae25cb4.tar.bz2 abc-db7ebfb4349f5c2c52f9cd58ab4d9c239ae25cb4.zip | |
Cleanups in write_cex output format
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
Diffstat (limited to 'src/base/io')
| -rw-r--r-- | src/base/io/io.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index 529c444b..65946def 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -2471,8 +2471,11 @@ void Abc_NtkDumpOneCex( FILE * pFile, Abc_Ntk_t * pNtk, Abc_Cex_t * pCex, { extern Aig_Man_t * Abc_NtkToDar( Abc_Ntk_t * pNtk, int fExors, int fRegisters ); Aig_Man_t * pAig = Abc_NtkToDar( pNtk, 0, 1 ); - fprintf( pFile, "# FALSIFYING OUTPUTS:"); - fprintf( pFile, " %s", Abc_ObjName(Abc_NtkCo(pNtk, pCex->iPo)) ); + if ( fNames ) + { + fprintf( pFile, "# FALSIFYING OUTPUTS:"); + fprintf( pFile, " %s", Abc_ObjName(Abc_NtkCo(pNtk, pCex->iPo)) ); + } if ( fUseOldMin ) { pCare = Saig_ManCbaFindCexCareBits( pAig, pCex, 0, fVerbose ); @@ -2582,6 +2585,8 @@ void Abc_NtkDumpOneCex( FILE * pFile, Abc_Ntk_t * pNtk, Abc_Cex_t * pCex, fprintf( pFile, "\n"); fprintf( pFile, "%c", (pCare && !Abc_InfoHasBit(pCare->pData, i)) ? 'x' : '0'+Abc_InfoHasBit(pCex->pData, i) ); } + if ( fAiger ) + fprintf( pFile, "\n"); Abc_CexFreeP( &pCare ); } } |