From ffaad9ba10810b8076a5b56029a7864bf5a327d0 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 24 Sep 2014 09:05:40 -0400 Subject: Bug fix in handling MUXes in Verilog parser, induced by recent changes. --- src/base/wlc/wlcReadVer.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/base/wlc/wlcReadVer.c') diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c index 78af2d42..f943337c 100644 --- a/src/base/wlc/wlcReadVer.c +++ b/src/base/wlc/wlcReadVer.c @@ -607,6 +607,8 @@ static inline int Wlc_PrsFindDefinition( Wlc_Prs_t * p, char * pStr, Vec_Int_t * return Wlc_PrsWriteErrorMessage( p, pStr, "MUX lacks the colon symbol (:)." ); if ( !(pStr = Wlc_PrsReadName(p, pStr+1, vFanins)) ) return Wlc_PrsWriteErrorMessage( p, pStr, "Cannot read name in MUX." ); + assert( Vec_IntSize(vFanins) == 3 ); + ABC_SWAP( int, Vec_IntArray(vFanins)[1], Vec_IntArray(vFanins)[2] ); Type = WLC_OBJ_MUX; } else if ( pStr[0] == '[' ) -- cgit v1.2.3