More fuzz

msoos · msoos · commit 4f5b0d632b90 · 2026-02-22T12:25:36.000+01:00
diff --git a/scripts/fuzz_synth.py b/scripts/fuzz_synth.py
@@ -361,6 +361,7 @@ def cleanup(fname, prefix):
             , " --bwequal"
             , " --bvaxor"
             , " --silentupdate"
+            , " --learnuseall"
             , " --monflyorder"
         ]
         for o in opts:
