diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-20 11:29:37 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-20 11:29:37 -0700 |
| commit | f59de3decc1daad5c2d27c8b9d8b680db9dbd574 (patch) | |
| tree | 4a4ac268a7e27df3433b64b80418d968c1a8a4b7 /src/base/ver | |
| parent | 723f85ef1b4ad35bc7708f7b8208dafe0406078c (diff) | |
| download | abc-f59de3decc1daad5c2d27c8b9d8b680db9dbd574.tar.gz abc-f59de3decc1daad5c2d27c8b9d8b680db9dbd574.tar.bz2 abc-f59de3decc1daad5c2d27c8b9d8b680db9dbd574.zip | |
Fixes to Verilog parser.
Diffstat (limited to 'src/base/ver')
| -rw-r--r-- | src/base/ver/verCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c index d9af5401..b4a4c9f2 100644 --- a/src/base/ver/verCore.c +++ b/src/base/ver/verCore.c @@ -2538,7 +2538,7 @@ int Ver_ParseDriveFormal( Ver_Man_t * pMan, Abc_Ntk_t * pNtk, Ver_Bundle_t * pBu Vec_PtrForEachEntry( Abc_Obj_t *, pBundle->vNetsActual, pNetAct, m ) if ( Abc_ObjFaninNum(pNetAct) > 0 ) { - sprintf( pMan->sError, "Internal error while trying to connect undefined boxes. It is likely that the algorithm currently used has its limitations." ); + sprintf( pMan->sError, "Missing specification of the I/Os of undefined box \"%s\".", Abc_NtkName(pNtk) ); Ver_ParsePrintErrorMessage( pMan ); return 0; } |