diff options
| author | Niklas Een <niklas@een.se> | 2012-10-30 19:09:40 -0700 |
|---|---|---|
| committer | Niklas Een <niklas@een.se> | 2012-10-30 19:09:40 -0700 |
| commit | 77fde55b1b87e7e8f92edde61d25f951a9b40c33 (patch) | |
| tree | 4455415a25e7ad1309efce2f7580d879c6843514 /src/misc/util/abc_global.h | |
| parent | 7da6ef1c027730dc8a506ab039ffbba062693170 (diff) | |
| download | abc-77fde55b1b87e7e8f92edde61d25f951a9b40c33.tar.gz abc-77fde55b1b87e7e8f92edde61d25f951a9b40c33.tar.bz2 abc-77fde55b1b87e7e8f92edde61d25f951a9b40c33.zip | |
Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixed printf -> Abc_Print in some places.
Diffstat (limited to 'src/misc/util/abc_global.h')
| -rw-r--r-- | src/misc/util/abc_global.h | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/src/misc/util/abc_global.h b/src/misc/util/abc_global.h index 3259fa0d..fe3eda63 100644 --- a/src/misc/util/abc_global.h +++ b/src/misc/util/abc_global.h @@ -276,10 +276,19 @@ static inline void Abc_Print( int level, const char * format, ... ) { extern ABC_DLL int Abc_FrameIsBridgeMode(); va_list args; - if ( level == ABC_ERROR ) - printf( "Error: " ); - else if ( level == ABC_WARNING ) - printf( "Warning: " ); + + if ( ! Abc_FrameIsBridgeMode() ){ + if ( level == ABC_ERROR ) + printf( "Error: " ); + else if ( level == ABC_WARNING ) + printf( "Warning: " ); + }else{ + if ( level == ABC_ERROR ) + Gia_ManToBridgeText( stdout, strlen("Error: "), (unsigned char*)"Error: " ); + else if ( level == ABC_WARNING ) + Gia_ManToBridgeText( stdout, strlen("Warning: "), (unsigned char*)"Warning: " ); + } + va_start( args, format ); if ( Abc_FrameIsBridgeMode() ) { |