diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-01 11:44:14 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-01 11:44:14 -0700 |
commit | 73ab6aac1fad7cf7a4f15bccafff1eabebf8cce6 (patch) | |
tree | 9f68741dad9c785a0c2ea2336c7358e87ded5d77 /src/map/mio/mio.c | |
parent | a595fa85ef1d324448e171651881b0b896c69098 (diff) | |
download | abc-73ab6aac1fad7cf7a4f15bccafff1eabebf8cce6.tar.gz abc-73ab6aac1fad7cf7a4f15bccafff1eabebf8cce6.tar.bz2 abc-73ab6aac1fad7cf7a4f15bccafff1eabebf8cce6.zip |
Changes several defaults of 'super' to be infinite.
Diffstat (limited to 'src/map/mio/mio.c')
-rw-r--r-- | src/map/mio/mio.c | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/map/mio/mio.c b/src/map/mio/mio.c index 14878f94..b5153f1c 100644 --- a/src/map/mio/mio.c +++ b/src/map/mio/mio.c @@ -250,6 +250,7 @@ int Mio_CommandReadGenlib( Abc_Frame_t * pAbc, int argc, char **argv ) FILE * pFile; FILE * pOut, * pErr; Mio_Library_t * pLib; + Amap_Lib_t * pLib2; Abc_Ntk_t * pNet; char * pFileName; char * pExcludeFile = NULL; @@ -323,6 +324,9 @@ int Mio_CommandReadGenlib( Abc_Frame_t * pAbc, int argc, char **argv ) fprintf( pErr, "Reading genlib library has failed.\n" ); return 1; } + if ( fVerbose ) + printf( "Entered genlib library with %d gates from file \"%s\".\n", Mio_LibraryReadGateNum(pLib), pFileName ); + // add the fixed number (wire delay) to all delays in the library if ( WireDelay != 0.0 ) Mio_LibraryShiftDelay( pLib, WireDelay ); @@ -339,17 +343,15 @@ int Mio_CommandReadGenlib( Abc_Frame_t * pAbc, int argc, char **argv ) Abc_FrameSetLibGen( pLib ); // set the new network - pLib = (Mio_Library_t *)Amap_LibReadAndPrepare( pFileName, NULL, 0, 0 ); - if ( pLib == NULL ) + pLib2 = Amap_LibReadAndPrepare( pFileName, NULL, 0, 0 ); + if ( pLib2 == NULL ) { fprintf( pErr, "Reading genlib library has failed.\n" ); return 1; } // replace the current library Amap_LibFree( (Amap_Lib_t *)Abc_FrameReadLibGen2() ); - Abc_FrameSetLibGen2( pLib ); - if ( fVerbose ) - printf( "Entered genlib library with %d gates from file \"%s\".\n", Mio_LibraryReadGateNum(pLib), pFileName ); + Abc_FrameSetLibGen2( pLib2 ); return 0; usage: |