diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-25 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-25 08:01:00 -0800 |
| commit | 00e9c3d06b590b0aac04bafddfd14115d14760f8 (patch) | |
| tree | ac9b977538874c9f3b16ac03de0fd7265d19e025 /src/base/abci/abcDar.c | |
| parent | 14c01eaccab87d14d1bd0eaa3fc491026349665e (diff) | |
| download | abc-00e9c3d06b590b0aac04bafddfd14115d14760f8.tar.gz abc-00e9c3d06b590b0aac04bafddfd14115d14760f8.tar.bz2 abc-00e9c3d06b590b0aac04bafddfd14115d14760f8.zip | |
Version abc71225
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 ); } |