[Verifpal] parse comments

Mike tankf33der at disroot.org
Fri Dec 11 10:02:06 CET 2020


hi all,

I found parser dont like empty principal block with comment only.
In general file attached is valid and you would like to fix parser for science.

(mike)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: parsecomment.vp
Type: application/octet-stream
Size: 163 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20201211/2a0fcb23/attachment.obj>


More information about the Verifpal mailing list