From adce11979f0c6df2c67fdf71b946f9bbb91cd6dc Mon Sep 17 00:00:00 2001 From: Baruch Sterin Date: Fri, 15 Sep 2017 23:28:57 -0700 Subject: 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 --- src/misc/util/utilBridge.c | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'src/misc/util/utilBridge.c') 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 ); -- cgit v1.2.3