From 290c70f73e023434bee208eb4d8161541096bebe Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 31 Dec 2016 22:56:30 +0700
Subject: Updates to delay optimization project.

---
 src/opt/sbd/sbdCore.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/opt/sbd')

diff --git a/src/opt/sbd/sbdCore.c b/src/opt/sbd/sbdCore.c
index 251a4deb..a36b4bd2 100644
--- a/src/opt/sbd/sbdCore.c
+++ b/src/opt/sbd/sbdCore.c
@@ -1883,7 +1883,7 @@ int Sbd_ManImplement2( Sbd_Man_t * p, int Pivot, int nStrs, Sbd_Str_t * pStrs )
     }
     // make sure delay reduction is achieved
     iNewLev = Vec_IntEntry( p->vLutLevs, Abc_Lit2Var(iLit) );
-    assert( iNewLev < iCurLev );
+    assert( !iNewLev || iNewLev < iCurLev );
     // update delay of the initial node
     assert( Vec_IntEntry(p->vLutLevs, Pivot) == iCurLev );
     Vec_IntWriteEntry( p->vLutLevs, Pivot, iNewLev );
-- 
cgit v1.2.3