From c1d7f29dbdc4450343408205996738e7626e5f6a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 19 Dec 2014 18:36:10 -0800
Subject: Bug fix in 'testcex' when flop count in the CEX is different from the
 network (say, after seq synthesis).

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

diff --git a/src/base/abc/abcLatch.c b/src/base/abc/abcLatch.c
index 34b77e34..57bec593 100644
--- a/src/base/abc/abcLatch.c
+++ b/src/base/abc/abcLatch.c
@@ -729,7 +729,7 @@ int Abc_NtkVerifyCex( Abc_Ntk_t * pNtk, Abc_Cex_t * p )
     int RetValue, i, k, iBit = 0;
     assert( Abc_NtkIsStrash(pNtk) );
     assert( p->nPis  == Abc_NtkPiNum(pNtk) );
-    assert( p->nRegs == Abc_NtkLatchNum(pNtk) );
+//    assert( p->nRegs == Abc_NtkLatchNum(pNtk) );
     Abc_NtkCleanMarkC( pNtk );
     Abc_AigConst1(pNtk)->fMarkC = 1;
     // initialize flops
-- 
cgit v1.2.3