13 lines
663 B
Plaintext
13 lines
663 B
Plaintext
=== 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.
|
|
|