[Verifpal] Error message 'rule PrincipalName' if functionality not supported

Pittsburgh penguins Tv anderswnilson at gmail.com
Sun Mar 29 17:38:59 CEST 2020

Dear Nadim!
I've noticed that not supported functionality generates the error message
'rule PrincipalName'.

Best regards
Anders N.

// Verifpal! Error: .\examples\error_message.vp:3:1 (21): rule
PrincipalName: cannot use reserved keyword in name: principal.


principal Alice[
    generates a, b, c
    d = a^b^c // whatever not supported
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200329/74762bb4/attachment.htm>

More information about the Verifpal mailing list