Closed bjkeller closed 7 years ago
Support for this kind of comment has been introduced with commit d93eb785b3aa1cf1b878e4c3246e2f978f8e3147. I keep this open in case we find similar comments for which the current implementation doesn't work.
Time to close this issue.
When given
Toradocu is generating the condition
x==false ? result == true
instead ofx > 0 ? result == true : result == false
.If the
@returns-clause
isreturns true if x is positive
, then it does returnx > 0 ? result == true
.