Proof checker cannot collapse constant arithmetic
Open
- Dominant language
- C
- Stars
- 4.8k
- Forks
- 145
- Avg merge
- 11h 48m
- Merged PRs (30d)
- 1
Description
Fact:
(outIdx + 2) < 400
What I expect:
outIdx < 400 is provable
Observed:
"cannot prove "outIdx < 400": failed at (...). Facts:
[. . .]
(outIdx + 2) < 400
Contributor guide
Assessment
This issue has not been assessed yet.