[Verifpal] examples are broken

[Nadim Kobeissi]

Hi Mike,

Could you please describe how these examples are "broken"? They seem fine
to me.

Also, please don't send low-information/low-quality emails like that to the
list -- I'm placing you on the moderation queue.

Thanks,

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from office


On Sun, Sep 8, 2019 at 12:16 AM Mike via Verifpal
<verifpal at lists.symbolic.software> wrote:

> By today's commits examples are broken:
>
> scuttlebutt_handshake.vp
> protonmail_to_outside.vp
>
> (mike)
>
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20190908/b1742169/attachment.htm>