[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.

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

attacker[passive]

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