From 1153b3b6b927ef2545077dcaf79e9da47e18ed58 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 11 Sep 2023 12:12:52 +0700
Subject: [PATCH] Commenting out an assert that signals a non-critical formance
 bug.

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

diff --git a/src/opt/dar/darRefact.c b/src/opt/dar/darRefact.c
index 6083c035e..8016568a1 100644
--- a/src/opt/dar/darRefact.c
+++ b/src/opt/dar/darRefact.c
@@ -586,7 +586,7 @@ p->timeEval += Abc_Clock() - clk;
         // if we end up here, a rewriting step is accepted
         nNodeBefore = Aig_ManNodeNum( pAig );
         pObjNew = Dar_RefactBuildGraph( pAig, p->vLeavesBest, p->pGraphBest );
-        assert( (int)Aig_Regular(pObjNew)->Level <= Required );
+        //assert( (int)Aig_Regular(pObjNew)->Level <= Required );
         // replace the node
         Aig_ObjReplace( pAig, pObj, pObjNew, p->pPars->fUpdateLevel );
         // compare the gains