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

Nadim Kobeissi nadim at symbolic.software
Thu Apr 2 20:15:06 CEST 2020


Indeed, the parser sometimes returns unclear error messages, and this should be worked on. There’s already a thread on this. Sorry for the hassle.

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On 29 Mar 2020, at 5:38 PM, Pittsburgh penguins Tv via Verifpal <verifpal at lists.symbolic.software> wrote:
> 
> 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
> ]
> 
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal



More information about the Verifpal mailing list