aboutsummaryrefslogtreecommitdiffstats
path: root/src/simtest/reach.rs
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2026-11-08 15:06:29 +0000
committertv <tv@krebsco.de>2026-11-08 16:07:39 +0100
commit4acb78f3bec2f82d8d0a6b2ad3f9f328aa10c98a (patch)
treefe9610cec9768398ee03bf3ca00dbdbf899c64c3 /src/simtest/reach.rs
parentf1fb31ec5be87c7bb172b638794767992b096c57 (diff)
simtest: forged changes, aborts of expired remakes, envelopes of another swarm
Simulations backing what the review's fixes changed, beyond their unit tests: * a_change_forged_under_another_members_actor (1145): a change made under b's actor at the seq of b's last change, judged by a: refused as forged, b not refused as a whole, b's next write taken. * an_expired_remake_aborted_by_any_member (1150): under the policy, a coordinator gone before it decides; b aborts its remake once it expired a grace period ago, c takes the abort, nothing refused. * a_strict_swarm (1155): a value alice signed for another swarm, replacing the one there, is refused as such.
Diffstat (limited to 'src/simtest/reach.rs')
0 files changed, 0 insertions, 0 deletions