Repository navigation

test(run-state): add run-state kernel model checker - #2244

Open

edelauna wants to merge 7 commits into

mainfrom

Open

test(run-state): add run-state kernel model checker#2244
edelauna wants to merge 7 commits into
mainfrom
issue/1792

Commits on Nov 6, 2026
Commits on Nov 8, 2026
- test(run-state): check turn effects of asks and later streams
  edelauna
  committed
  e6674c0
Commits on Nov 9, 2026
- test(run-state): cover mixed turns and approval timestamps
  edelauna
  committed
  7dd145d