diff options
Diffstat (limited to 'src/aig/ssw/sswSim.c')
| -rw-r--r-- | src/aig/ssw/sswSim.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/ssw/sswSim.c b/src/aig/ssw/sswSim.c index 0e99b1e8..cf5270dd 100644 --- a/src/aig/ssw/sswSim.c +++ b/src/aig/ssw/sswSim.c @@ -1285,7 +1285,7 @@ int Ssw_SmlRunCounterExample( Aig_Man_t * pAig, Ssw_Cex_t * p ) Aig_Obj_t * pObj; int RetValue, i, k, iBit; // assert( Aig_ManRegNum(pAig) > 0 ); - assert( Aig_ManRegNum(pAig) < Aig_ManPiNum(pAig) ); +// assert( Aig_ManRegNum(pAig) < Aig_ManPiNum(pAig) ); // start a new sequential simulator pSml = Ssw_SmlStart( pAig, 0, p->iFrame+1, 1 ); // assign simulation info for the registers |