You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When a branch ends a recursion without letting a participant in that branch it triggers a non-covering pattern match error. The offending example is attached.
This file: 'Secret.nuscr' contains three protocols. The second one works and is correct, but the well formed test is wrong and it should be rejected. The third one is wrong and is rejected but by the wrong reasons I think. And it all may be related to the same thing.
When a branch ends a recursion without letting a participant in that branch it triggers a non-covering pattern match error. The offending example is attached.
Secret.txt
The text was updated successfully, but these errors were encountered: