diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-24 09:05:40 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-24 09:05:40 -0400 |
| commit | ffaad9ba10810b8076a5b56029a7864bf5a327d0 (patch) | |
| tree | 2f48c07248ead6dd4b4a188ea3087f78a1ae5ef1 /src | |
| parent | ad079f7207029626d3fe030e2c6554d0854db13d (diff) | |
| download | abc-ffaad9ba10810b8076a5b56029a7864bf5a327d0.tar.gz abc-ffaad9ba10810b8076a5b56029a7864bf5a327d0.tar.bz2 abc-ffaad9ba10810b8076a5b56029a7864bf5a327d0.zip | |
Bug fix in handling MUXes in Verilog parser, induced by recent changes.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/wlc/wlcReadVer.c | 2 |
1 files changed, 2 insertions, 0 deletions
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] == '[' ) |