Ignore ipt.NumInstScanned

Signed-off-by: Yingwei Zheng <[email protected]>
dtcxzyw · Sep 24, 2024 · 97da846 · 97da846
1 parent 86a26ba
commit 97da846
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/scripts/gen_optimized.py b/scripts/gen_optimized.py
@@ -88,7 +88,8 @@ def run_opt(task):
         'memory-builtins.ObjectVisitorArgument',
         'aa.NumNoAlias',
         'assume-queries.NumAssumeQueries',
-        'capture-tracking.NumNotCaptured'
+        'capture-tracking.NumNotCaptured',
+        'ipt.NumInstScanned'
     }
 
     with open('test.log', 'w') as log: