From 997ec1010dc2bf7745f887fdb75c7c35e4a52547 Mon Sep 17 00:00:00 2001 From: pi Date: Sat, 22 Aug 2026 04:22:44 +1200 Subject: [PATCH] fix(docs): missing_object_reduce in eval/formal/README.md --- eval/formal/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/eval/formal/README.md b/eval/formal/README.md index 51690bd..f27c502 100644 --- a/eval/formal/README.md +++ b/eval/formal/README.md @@ -84,7 +84,7 @@ c++ -std=c++17 -O2 -I../../cli/include eval_formal.cpp ../../cli/src/sparx_forma POR currently adds overhead (~30-70% slower) without reducing state space for these topologies. The fan-out plans assign different services to each worker, -making the independence heuristic unable to reduce. POR would benefit from: +making the independence heuristic unable to reduce the state space. POR would benefit from: - Shared-resource workloads (same service, same tool) - Workloads with true data-independent branches