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