[Verifpal] Error message when no queries specified

Friedrich Wiemer friedrich.wiemer at rub.de
Fri Feb 28 22:44:17 CET 2020


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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200228/7ef13e41/attachment.sig>


More information about the Verifpal mailing list