bridge relates: (1) fix netlist reader to read the latest version written by ZZ, (2) replace printf() with Abc_Print() in pdr so that it will not interfer with bridge messages

1 files changed, 11 insertions, 0 deletions

diff --git a/src/misc/util/utilBridge.c b/src/misc/util/utilBridge.c
index 885e6ccc..70ea8ec7 100644
--- a/src/misc/util/utilBridge.c
+++ b/src/misc/util/utilBridge.c
@@ -312,6 +312,7 @@ Gia_Man_t *  Gia_ManFromBridgeReadBody( int Size, unsigned char * pBuffer, Vec_I
     Gia_Man_t * p = NULL;
     unsigned char * pBufferPivot, * pBufferEnd = pBuffer + Size;
     int i, nInputs, nFlops, nGates, nProps;
+    int verFairness, nFairness, nConstraints;
     unsigned iFan0, iFan1;
 
     nInputs = Gia_AigerReadUnsigned( &pBuffer );
@@ -370,6 +371,16 @@ Gia_Man_t *  Gia_ManFromBridgeReadBody( int Size, unsigned char * pBuffer, Vec_I
         // complement property output!!!
         Gia_ManAppendCo( p, Abc_LitNot(iFan0) );
     }
+
+    verFairness = Gia_AigerReadUnsigned( &pBuffer );
+    assert( verFairness == 1 );
+
+    nFairness = Gia_AigerReadUnsigned( &pBuffer );
+    assert( nFairness == 0 );
+
+    nConstraints = Gia_AigerReadUnsigned( &pBuffer );
+    assert( nConstraints == 0);
+
     // make sure the end of buffer is reached
     assert( pBufferEnd == pBuffer );