Updated 'iprove' to generate seq CEX when CEC fails (small fix).

0985eaca · Alan Mishchenko · 49869d08 · 0985eaca
Commit 0985eaca authored Jun 25, 2011 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 0 additions and 1 deletions

src/base/abci/abc.c
+0 -1

No files found.
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -10638,7 +10638,6 @@ int Abc_CommandIProve( Abc_Frame_t * pAbc, int argc, char ** argv )
    {
        Abc_Cex_t * pCex = Abc_CexDeriveFromCombModel( pNtkTemp->pModel, Abc_NtkPiNum(pNtkTemp), 0, iOut );
        Abc_FrameReplaceCex( pAbc, &pCex );
    }
    return 0;