From af828a499da1f3357f8b170c9be12f4695190750 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 1 Sep 2015 12:02:44 -0700
Subject: Removing unhelpful assertion in CEX minimization.

---
 src/sat/bmc/bmcCexTools.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/bmc/bmcCexTools.c')

diff --git a/src/sat/bmc/bmcCexTools.c b/src/sat/bmc/bmcCexTools.c
index 8e2e270f..1c0d798c 100644
--- a/src/sat/bmc/bmcCexTools.c
+++ b/src/sat/bmc/bmcCexTools.c
@@ -347,7 +347,7 @@ int Bmc_CexVerify( Gia_Man_t * p, Abc_Cex_t * pCex, Abc_Cex_t * pCexCare )
 {
     Gia_Obj_t * pObj;
     int i, k;
-    assert( pCex->nRegs > 0 );
+//    assert( pCex->nRegs > 0 );
 //    assert( pCexCare->nRegs == 0 );
     Gia_ObjTerSimSet0( Gia_ManConst0(p) );
     Gia_ManForEachRi( p, pObj, k )
-- 
cgit v1.2.3