[Verifpal] examples are broken

Nadim Kobeissi nadim at symbolic.software
Sun Sep 8 00:23:31 CEST 2019

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.


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>

More information about the Verifpal mailing list