From dc4ca2c62188cf84c0e2dfbb0ca64a20684bb399 Mon Sep 17 00:00:00 2001
From: AdvaySingh1 <advay@umich.edu>
Date: Tue, 17 Feb 2026 12:42:20 -0800
Subject: [PATCH] Added TODO for eliminating false paths

---
 notes.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/notes.txt b/notes.txt
index cd7d871f0..1c2755f2b 100644
--- a/notes.txt
+++ b/notes.txt
@@ -370,3 +370,4 @@ TODOs:
 7) Check recursion
 8) Check isValidGatingSet and findGatingCondition
 
+Add a new feature to not do simulation or SAT based on the false paths
\ No newline at end of file