From 7c82b1e0e840521ed316e940e90b36125ad8092e Mon Sep 17 00:00:00 2001 From: jayaprabhakar Date: Fri, 6 Feb 2026 23:56:51 -0800 Subject: [PATCH] Disable symmetry reduction in simulation mode --- modelchecker/processor.go | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/modelchecker/processor.go b/modelchecker/processor.go index 33a0109..b17a861 100644 --- a/modelchecker/processor.go +++ b/modelchecker/processor.go @@ -1770,6 +1770,12 @@ func (p *Process) minHashCode(hashes []string) string { // findVisitedSymmetric looks up a node in the visited map by trying all symmetry // permutation hashes. Returns the matching node and true if found, nil and false otherwise. func (p *Processor) findVisitedSymmetric(node *Node) (*Node, bool, string) { + // Skip symmetry reduction in simulation mode - we only check one path anyway + if p.simulation { + hash := node.HashCode() + other, ok := p.visited[hash] + return other, ok, hash + } hashes := node.getSymmetryTranslations() minHash := node.minHashCode(hashes) other, ok := p.visited[minHash]