fix!: Postconditions of query oparations using result fail to evaluate - Githubissues

useocl / use

Home of the UML-based Specification Environment (USE)

GNU General Public License v2.0

43 stars 18 forks source link

fix!: Postconditions of query oparations using result fail to evaluate #80

Closed h-man2 closed 5 months ago

h-man2 commented 5 months ago

Set resultValue for operation call after evaluation of body expression
The presence of this value is checked while evaluating post conditions

Closes #79