Skip to content

WIP Add support for checking return value in post-condition call#485

Open
ayrtonm wants to merge 1 commit intomainfrom am/support-ret-in-post-condition-check
+8-1

Commits