diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-11-19 21:13:07 +0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-11-19 21:13:07 +0800 |
| commit | 3699f8beb9dc543f2774de32896594df1a65d36d (patch) | |
| tree | ccb361480ee484e5784df0d5a04342c5ce1f8d6a /src | |
| parent | 4242cec36e0b79f1a59c7909c69e6728af55d9d8 (diff) | |
| download | abc-3699f8beb9dc543f2774de32896594df1a65d36d.tar.gz abc-3699f8beb9dc543f2774de32896594df1a65d36d.tar.bz2 abc-3699f8beb9dc543f2774de32896594df1a65d36d.zip | |
Dumping multiple counter-examples.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/io/io.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index 693dbc9c..669405cc 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -2562,7 +2562,7 @@ int IoCommandWriteCex( Abc_Frame_t * pAbc, int argc, char **argv ) { if ( pCex == NULL ) continue; - fprintf( pFile, "#\n# CEX for output number %d (%s)\n#\n", i, Abc_ObjName(Abc_NtkPo(pNtk, i)) ); + fprintf( pFile, "#\n#\n# CEX for output %d\n#\n", i ); Abc_NtkDumpOneCex( pFile, pNtk, pCex, fPrintFull, fNames, fUseFfNames, fMinimize, fUseOldMin, fCheckCex, fUseSatBased, fHighEffort, fAiger, fVerbose ); |