summaryrefslogtreecommitdiffstats
path: root/spec/spec/requirement-action-exp-state-name.yml (follow)
Commit message (Expand)AuthorAgeFilesLines
* validation: Add post-condition expressionsSebastian Huber2021-03-171-0/+21