[Verifpal] Error message when no queries specified

Friedrich Wiemer friedrich.wiemer at rub.de
Sat Feb 29 20:50:31 CET 2020


Thanks, thats much more helpful now!

On Sat, Feb 29, 2020 at 09:20:18AM +0100, Nadim Kobeissi wrote:
> Dear Friedrich,
> 
> Thank you for this great suggestion. Implemented here:
> https://source.symbolic.software/verifpal/verifpal/commit/
> dc2dd950fc75603ee450eb515be4e967eb398520
> 
> 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.
> 
-------------- 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/20200229/e9054600/attachment.sig>


More information about the Verifpal mailing list