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

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

aphelionz wants to merge 18 commits into

mainShieldedLabs/zero:mainfrom

test/zeronym-divert-quintShieldedLabs/zero:test/zeronym-divert-quintCopy head branch name to clipboard