Bug fix to read flops with init state 3 (don't know)

This commit is contained in:
Alan Mishchenko 2010-11-29 01:30:03 -08:00
parent a2e2661e1f
commit 719d399a64
1 changed files with 1 additions and 1 deletions

View File

@ -1065,7 +1065,7 @@ static int Io_MvParseLineLatch( Io_MvMod_t * p, char * pLine )
Init = atoi( (char *)Vec_PtrEntryLast(vTokens) );
else
Init = 2;
if ( Init < 0 || Init > 2 )
if ( Init < 0 || Init > 3 )
{
sprintf( p->pMan->sError, "Line %d: Initial state of the latch is incorrect \"%s\".", Io_MvGetLine(p->pMan, pToken), (char*)Vec_PtrEntry(vTokens,3) );
return 0;