Skip to content

A
abc
Commit 4242cec3 by Alan Mishchenko
Options

Dumping multiple counter-examples.

parent 10dd41be
Showing with 1 additions and 1 deletions
src/base/io/io.c
...@@ -2517,7 +2517,7 @@ int IoCommandWriteCex( Abc_Frame_t * pAbc, int argc, char **argv ) ...@@ -2517,7 +2517,7 @@ int IoCommandWriteCex( Abc_Frame_t * pAbc, int argc, char **argv )
fprintf( pAbc->Out, "Empty network.\n" ); fprintf( pAbc->Out, "Empty network.\n" );
return 0; return 0;
} }
if ( pNtk->pModel == NULL && pAbc->pCex == NULL ) if ( pNtk->pModel == NULL && pAbc->pCex == NULL && pAbc->vCexVec == NULL )
{ {
fprintf( pAbc->Out, "Counter-example is not available.\n" ); fprintf( pAbc->Out, "Counter-example is not available.\n" );
return 0; return 0;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment