Tla Plus, Resilience, Software Development, DevOps.
with less than 80% usage … in effect removing unhealthy machines from the pool. And the pool doesn’t replace them because \E v \in 1..Len(VMs): VMs[v] > 6; returns false when applied to an empty sequence. So let’s change that by adding and Len(VMs) < 2 \/ to the beginning which will make it true if