diff options
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abcDar.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 29b1ea14..439c3383 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -1507,13 +1507,12 @@ void Abc_NtkDarTestBlif( char * pFileName ) return; } Ntl_ManPrintStats( p ); -/* - if ( !Ntl_ManInsertTest( p ) ) +// if ( !Ntl_ManInsertTest( p ) ) + if ( !Ntl_ManInsertTestIf( p ) ) { printf( "Abc_NtkDarTestBlif(): Tranformation of the netlist has failed.\n" ); return; } -*/ // sprintf( Buffer, "%s_.blif", p->pName ); sprintf( Buffer, "test_.blif", p->pName ); Ioa_WriteBlif( p, Buffer ); |