Skip to content

test(zeronym): model the divert protocol in Quint and check it in CI - #82

Open
aphelionz wants to merge 4 commits into
mainfrom
test/zeronym-divert-quint
Open

test(zeronym): model the divert protocol in Quint and check it in CI#82
aphelionz wants to merge 4 commits into
mainfrom
test/zeronym-divert-quint

test(zeronym): assert the lying-hub noQueuedBytes counterexample

262bd78
Select commit
Loading
Failed to load commit list.
blacksmith.sh / [code]smith skipped Sep 23, 2026 in 0s

[code]smith is not active on this PR

[code]smith is not active on this PR. Ask [code]smith to autofix CI on this PR: Enable autofix

View more details on blacksmith.sh