Fix analyzer: exclude example directories from root analysis

escamoteur · escamoteur · commit 74499040d739 · 2025-11-03T17:00:29.000-05:00
diff --git a/analysis_options.yaml b/analysis_options.yaml
@@ -2,9 +2,11 @@ analyzer:
   language:
     strict-casts: true
     strict-inference: true
-    strict-raw-types: true  
-# analyzer:
-#   exclude:
+    strict-raw-types: true
+  exclude:
+    - example/**
+    - example_command_results/**
+    - counter_example/**
     
 linter:
   rules:
