From 55e9c4d0faebbaae551618e95a77f60b9648a257 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 8 Nov 2011 11:36:35 -0800
Subject: [PATCH] Corner case bug in deriving truth table from SOP.

---
 src/base/abc/abcSop.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/base/abc/abcSop.c b/src/base/abc/abcSop.c
index 2b66fc77f..297b07372 100644
--- a/src/base/abc/abcSop.c
+++ b/src/base/abc/abcSop.c
@@ -954,7 +954,7 @@ char * Abc_SopFromTruthHex( char * pTruth )
 
     // get the number of variables
     nTruthSize = strlen(pTruth);
-    nVars = Extra_Base2Log( nTruthSize ) + 2;
+    nVars = (nTruthSize < 2) ? 2 : Extra_Base2Log(nTruthSize) + 2;
     if ( nTruthSize != (1 << (nVars-2)) )
     {
         printf( "String %s does not look like a truth table of a %d-variable function.\n", pTruth, nVars );