27 lines
897 B
Plaintext
27 lines
897 B
Plaintext
ifdef::env-github,rspecator-view[]
|
|
|
|
'''
|
|
== Implementation Specification
|
|
(visible only on this page)
|
|
|
|
=== Message
|
|
|
|
This loop will never execute.
|
|
|
|
'''
|
|
== Comments And Links
|
|
(visible only on this page)
|
|
|
|
=== on 2 Dec 2014, 09:45:21 Pierre-Yves Nicolas wrote:
|
|
The rule title may be misleading. If a loop uses an initialization or condition which is not hard-coded, the fact that the invariant is not true at least once may be normal. What about "Loop invariants should not be always false"?
|
|
|
|
=== on 2 Dec 2014, 14:46:52 Ann Campbell wrote:
|
|
\[~pierre-yves.nicolas] this is partly why I want to ignore loops with non-hard-coded initializations or conditions.
|
|
|
|
|
|
To me the 2 title versions are six-of-one-half-dozen-of-the-other. But given that we'd ignore non-hard-coded, do you still care?
|
|
|
|
=== on 2 Dec 2014, 15:02:37 Pierre-Yves Nicolas wrote:
|
|
No, I don't care much.
|
|
|
|
endif::env-github,rspecator-view[] |