Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Frama-C: Modular Analysis of C Programs. Parent comment
``` 0 <= i <= n ```
As the loop reaches this value to terminate. Else, we could not deduce for example that `i = n` at the end of the loop (`0 <= i <= n && !(i < n)`).
There are no comments on this comment yet.
``` 0 <= i <= n ```
As the loop reaches this value to terminate. Else, we could not deduce for example that `i = n` at the end of the loop (`0 <= i <= n && !(i < n)`).