test: Fixed nondeterministic test failures in testShadowModelEqualsNormalModel()#6495

Open

yonghanlin wants to merge 2 commits intoINRIA:masterfrom

yonghanlin:fix/testShadowModelEqualsNormalModel-nondeterminism

Commits on Oct 24, 2025

fix: make ShadowEqualsVisitor order-invariant to eliminate nondeterministic test failures
yonghanlin
committed

Commits on Nov 12, 2025

Merge branch 'master' into fix/testShadowModelEqualsNormalModel-nondeterminism
monperrus
authored