Avoid spurious writes for invariants in base mutex-meet-tid#1653

Draft

sim642 wants to merge 2 commits intomasterfrom mutex-meet-invariant

+41-2

Commits on Jan 9, 2025

Add test for base mutex-meet-tid where spurious write from invariant ruins precision
sim642
committed
Avoid spurious writes for invariants in base mutex-meet-tid
sim642
committed