From 51a646a355c78cf0f4cf104d6316706653b24008 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 22 Jun 2015 23:05:13 -0700 Subject: Version abc90901 committer: Baruch Sterin --- src/aig/ssw/sswSim.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/ssw') 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 -- cgit v1.2.3