From f5240276cb29e730be44b96da9013db046683a5f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 13 Jan 2017 15:25:35 +0700
Subject: Updates to arithmetic verification.

---
 src/aig/gia/giaTruth.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaTruth.c b/src/aig/gia/giaTruth.c
index f636a573..ab5f569e 100644
--- a/src/aig/gia/giaTruth.c
+++ b/src/aig/gia/giaTruth.c
@@ -184,6 +184,8 @@ word Gia_ObjComputeTruth6Cis( Gia_Man_t * p, int iLit, Vec_Int_t * vSupp, Vec_Wr
     if ( !iObj ) return Abc_LitIsCompl(iLit) ? ~(word)0 : (word)0;
     Gia_ManIncrementTravId( p );
     Gia_ObjComputeTruth6CisSupport_rec( p, iObj, vSupp );
+    if ( Vec_IntSize(vSupp) > 6 )
+        return 0;
     Gia_ObjComputeTruth6( p, iObj, vSupp, vTemp );
     return Abc_LitIsCompl(iLit) ? ~Vec_WrdEntry(vTemp, iObj) : Vec_WrdEntry(vTemp, iObj);
 }
-- 
cgit v1.2.3