[Verifpal] parse comments

Nadim Kobeissi nadim at symbolic.software
Fri Dec 11 14:40:47 CET 2020


Dear Mike,

Thanks for pointing this out. It has been addressed in the following commit:
https://source.symbolic.software/verifpal/verifpal/-/commit/56267990adfbd683d0f3fd5443e94dc943c82344

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On Dec 11, 2020, at 10:02 AM, Mike via Verifpal <verifpal at lists.symbolic.software> wrote:
> 
> 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)
> <parsecomment.vp>
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal



More information about the Verifpal mailing list