From 4cc320311067a3aa6f3a7391f2fac7a3c09c4362 Mon Sep 17 00:00:00 2001
From: Niklas Een <niklas@een.se>
Date: Fri, 27 Sep 2013 00:17:59 -0700
Subject: [PATCH] Fixed a bug in Bridge mode

---
 src/misc/util/utilBridge.c | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

diff --git a/src/misc/util/utilBridge.c b/src/misc/util/utilBridge.c
index 4303e4ddb..ebacd97ba 100644
--- a/src/misc/util/utilBridge.c
+++ b/src/misc/util/utilBridge.c
@@ -180,6 +180,19 @@ int Gia_ManToBridgeBadAbs( FILE * pFile )
     return 1;
 }
 
+
+static int aigerNumSize( unsigned x )
+{
+    int sz = 1;
+    while (x & ~0x7f)
+    {
+        sz++;
+        x >>= 7;
+    }
+    return sz;
+}
+
+
 /**Function*************************************************************
 
   Synopsis    []
@@ -195,7 +208,7 @@ void Gia_ManFromBridgeHolds( FILE * pFile, int iPoProved )
 {
     fprintf( pFile, "%.6d", 101 /*message type = Result*/);
     fprintf( pFile, " " );
-    fprintf( pFile, "%.16d", 4 /*size in bytes*/);
+    fprintf( pFile, "%.16d", 3 + aigerNumSize(iPoProved) /*size in bytes*/);
     fprintf( pFile, " " );
 
     fputc( (char)BRIDGE_VALUE_1, pFile ); // true
@@ -208,7 +221,7 @@ void Gia_ManFromBridgeUnknown( FILE * pFile, int iPoUnknown )
 {
     fprintf( pFile, "%.6d", 101 /*message type = Result*/);
     fprintf( pFile, " " );
-    fprintf( pFile, "%.16d", 3 /*size in bytes*/);
+    fprintf( pFile, "%.16d", 2 + aigerNumSize(iPoUnknown) /*size in bytes*/);
     fprintf( pFile, " " );
 
     fputc( (char)BRIDGE_VALUE_X, pFile ); // undef