From 50010139ef9b41040d902bad898458c59424771f Mon Sep 17 00:00:00 2001
From: Allen Ho <b07901135@ntu.edu.tw>
Date: Mon, 6 Nov 2023 18:37:40 +0800
Subject: [PATCH] why

---
 src/proof/cec/cecSatG2.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/proof/cec/cecSatG2.c b/src/proof/cec/cecSatG2.c
index d641704f7..1a6309ebe 100644
--- a/src/proof/cec/cecSatG2.c
+++ b/src/proof/cec/cecSatG2.c
@@ -1978,6 +1978,7 @@ Gia_Man_t * Cec4_ManSimulateTest( Gia_Man_t * p, Cec_ParFra_t * pPars )
     Gia_Man_t * pNew = NULL;
     Cec4_ManPerformSweeping( p, pPars, &pNew, 0 );
 
+    // TODO
     int e, i, c1=0, c2=0, c3=0, c4=0, c5=0;
     Vec_IntForEachEntry( vLitBmiter, e, i )
     {