doc: update README

mellowcroc · mellowcroc · commit 2313962c46d2 · 2025-01-16T16:08:49.000Z
diff --git a/README.md b/README.md
@@ -88,6 +88,7 @@ Additional args:
 - `--layout`
 - `--prover_config_file`
 - `--parameter_file`
+- `--ignore_fact_topologies`
 
 ### Verify
 
