luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Bug fix in 'testcex' when flop count in the CEX is different from the network (say, after seq synthesis).

This commit is contained in:
Alan Mishchenko 2014-12-19 18:36:10 -08:00
parent d5a952c462
commit c1d7f29dbd
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/base/abc/abcLatch.c
View File

@ -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