[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:
https://source.symbolic.software/verifpal/verifpal/commit/dc2dd950fc75603ee450eb515be4e967eb398520

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