From 8bff9aa1cd118028db47d886254dc4c76c516166 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 10 Feb 2017 17:36:20 -0800
Subject: Adding PDR with abstraction.

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

(limited to 'src/base/io/io.c')

diff --git a/src/base/io/io.c b/src/base/io/io.c
index c2cf15d4..2e1ae591 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, 0, pCex, fCheckCex, fVerbose );
+                    pCare = Bmc_CexCareMinimize( pAig, Saig_ManPiNum(pAig), pCex, 4, fCheckCex, fVerbose );
                 Aig_ManStop( pAig );
             }
             // output flop values (unaffected by the minimization)
-- 
cgit v1.2.3