Added bridge integration for multi-output 'pdr -a'.

This commit is contained in:
Alan Mishchenko 2013-09-16 14:54:11 -07:00
parent 653dc8cff5
commit e446cfca15
1 changed files with 1 additions and 1 deletions

View File

@ -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 );