From f2d096c9f04acf95e959842d63b6febf2f8eb786 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 10 Feb 2017 13:20:20 -0800
Subject: Improving CEX minimization.

---
 src/base/io/io.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/io')

diff --git a/src/base/io/io.c b/src/base/io/io.c
index 4cec0157..c2cf15d4 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -2420,7 +2420,7 @@ int IoCommandWriteCex( Abc_Frame_t * pAbc, int argc, char **argv )
                         Bmc_CexCareVerify( pAig, pCex, pCare, fVerbose );
                 }
                 else
-                    pCare = Bmc_CexCareMinimize( pAig, pCex, fCheckCex, fVerbose );
+                    pCare = Bmc_CexCareMinimize( pAig, 0, pCex, fCheckCex, fVerbose );
                 Aig_ManStop( pAig );
             }
             // output flop values (unaffected by the minimization)
-- 
cgit v1.2.3