Skip to content

test: prove current Node live-mutex dev with nine clients - #13

Merged
ORESoftware merged 2 commits into
mainfrom
test/live-mutex-dev-nine-client-9cdf46d
Sep 26, 2026
Merged

ORESoftware merged 2 commits into
mainfrom
test/live-mutex-dev-nine-client-9cdf46d

test: add exact formal refinement to Node dev proof

b497582
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 warnings
formal-and-nine-client-e2e
succeeded Sep 26, 2026 in 1m 10s