diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-26 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-26 08:01:00 -0800 |
| commit | 676ba9ee213ea716fd154abbf983aaabf960db65 (patch) | |
| tree | 02e3b39653c9f842c84d57631ced8a214c1d58c5 /src/base | |
| parent | 00e9c3d06b590b0aac04bafddfd14115d14760f8 (diff) | |
| download | abc-676ba9ee213ea716fd154abbf983aaabf960db65.tar.gz abc-676ba9ee213ea716fd154abbf983aaabf960db65.tar.bz2 abc-676ba9ee213ea716fd154abbf983aaabf960db65.zip | |
Version abc71226
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 ); |