Currently, properties are encoded in alphabetical order. However, it may be useful to verify two properties where one is a refinement/stronger version of the other.
In these cases, the user of the language should describe
the weaker properties before the stronger ones. The code generator should respect the user-defined ordering.
Currently, properties are encoded in alphabetical order. However, it may be useful to verify two properties where one is a refinement/stronger version of the other.
In these cases, the user of the language should describe
the weaker properties before the stronger ones. The code generator should respect the user-defined ordering.