test: add formal verification of the leaderless signaling protocol - #4

test: add formal verification of the leaderless signaling protocol#4

h4x3rotab merged 3 commits into

mainDstack-TEE/service-mesh:mainfrom

formal/leaderless-signalingDstack-TEE/service-mesh:formal/leaderless-signalingCopy head branch name to clipboard