[Verifpal] Error message when no queries specified

Nadim Kobeissi nadim at symbolic.software
Sat Feb 29 09:20:18 CET 2020

Dear Friedrich,

Thank you for this great suggestion. Implemented here:

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

On Fri, Feb 28, 2020 at 10:44 PM Friedrich Wiemer via Verifpal
<verifpal at lists.symbolic.software> wrote:

> I find that if the verifpal model does not contain any queries the error
> message is a bit obscure:
> > Verifpal! Error: model.vp:1:1 (0): no match found.
> Maybe this could be improved, to give a hint what is actually the
> problem.
> _______________________________________________
> 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/20200229/83d1a320/attachment.htm>

More information about the Verifpal mailing list