diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-19 18:36:10 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-19 18:36:10 -0800 |
commit | c1d7f29dbdc4450343408205996738e7626e5f6a (patch) | |
tree | 6c436d15ac658defaf69ea9e0d6ce91ff96ba7de /src/base | |
parent | d5a952c4622c55c656e9d1d128cde32afa3c5835 (diff) | |
download | abc-c1d7f29dbdc4450343408205996738e7626e5f6a.tar.gz abc-c1d7f29dbdc4450343408205996738e7626e5f6a.tar.bz2 abc-c1d7f29dbdc4450343408205996738e7626e5f6a.zip |
Bug fix in 'testcex' when flop count in the CEX is different from the network (say, after seq synthesis).
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/abc/abcLatch.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 |