You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Nice-to-have: In the &requires violation messages, having the textual version of the expression may provide more information without resorting to opening the involved spicy analyzer (which may not be at hand depending on where one looks at those messages).
So &requires failed might be nicer as &requires=(self.length >= 9) failed.
With this patch we now include the `&requires` condition in the failure
message in case the condition is not met. We render the literal
expression as HILTI and not Spicy code for now which could; this can
lead to the failure message looking different from the actual code the
parser developer has written (e.g., for `$$` we emit the desugared
`__dd`).
Closes#1343.
While writing up zeek/spicy-plugin#160.
Nice-to-have: In the
&requires
violation messages, having the textual version of the expression may provide more information without resorting to opening the involved spicy analyzer (which may not be at hand depending on where one looks at those messages).So
&requires failed
might be nicer as&requires=(self.length >= 9) failed
.The text was updated successfully, but these errors were encountered: