Mentions légales du service

Skip to content

Annotations

Simon Bliudze requested to merge github/fork/lsafina/annotations into master

Created by: lsafina

Skeleton for @Invariant(expr), @StatePredicate(state, expr) and and @Pure annotations. Pre- and post-condition arguments added to @Transition.

Merge request reports