diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-16 14:54:11 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-16 14:54:11 -0700 |
| commit | e446cfca15442c2da04a8c4c94ba0b2efaf16dce (patch) | |
| tree | b6a3f1963910fa490eef96fb3d77aa8cafcc59d1 /src/misc/util/utilBridge.c | |
| parent | 653dc8cff5b60571d8ad5f32932fee7d646ae5d4 (diff) | |
| download | abc-e446cfca15442c2da04a8c4c94ba0b2efaf16dce.tar.gz abc-e446cfca15442c2da04a8c4c94ba0b2efaf16dce.tar.bz2 abc-e446cfca15442c2da04a8c4c94ba0b2efaf16dce.zip | |
Added bridge integration for multi-output 'pdr -a'.
Diffstat (limited to 'src/misc/util/utilBridge.c')
| -rw-r--r-- | src/misc/util/utilBridge.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/util/utilBridge.c b/src/misc/util/utilBridge.c index 65d8ba42..4303e4dd 100644 --- a/src/misc/util/utilBridge.c +++ b/src/misc/util/utilBridge.c @@ -327,7 +327,7 @@ Gia_Man_t * Gia_ManFromBridgeReadBody( int Size, unsigned char * pBuffer, Vec_I // create POs nProps = Gia_AigerReadUnsigned( &pBuffer ); - assert( nProps == 1 ); +// assert( nProps == 1 ); for ( i = 0; i < nProps; i++ ) { iFan0 = Gia_AigerReadUnsigned( &pBuffer ); |