diff options
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/abci/abcAttach.c | 2 | ||||
-rw-r--r-- | src/base/io/io.c | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/base/abci/abcAttach.c b/src/base/abci/abcAttach.c index 89cb53c3..f24e1a72 100644 --- a/src/base/abci/abcAttach.c +++ b/src/base/abci/abcAttach.c @@ -80,7 +80,7 @@ int Abc_NtkAttach( Abc_Ntk_t * pNtk ) Abc_AttachSetupTruthTables( uTruths ); // collect all the gates - ppGates = Mio_CollectRoots( pGenlib, 6, (float)1.0e+20, 1, &nGates ); + ppGates = Mio_CollectRoots( pGenlib, 6, (float)1.0e+20, 1, &nGates, 0 ); // derive the gate truth tables puTruthGates = ABC_ALLOC( unsigned *, nGates ); diff --git a/src/base/io/io.c b/src/base/io/io.c index d6b6e91b..e7e87c57 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -206,6 +206,8 @@ int IoCommandRead( Abc_Frame_t * pAbc, int argc, char ** argv ) sprintf( Command, "read_liberty %s", pFileName ); else if ( !strcmp( Extra_FileNameExtension(pFileName), "scl" ) ) sprintf( Command, "read_scl %s", pFileName ); + else if ( !strcmp( Extra_FileNameExtension(pFileName), "super" ) ) + sprintf( Command, "read_super %s", pFileName ); else if ( !strcmp( Extra_FileNameExtension(pFileName), "c" ) ) sprintf( Command, "so %s", pFileName ); if ( Command[0] ) |