Viewing profile — kleendr13
kleendr13
HN member- Joined
- Fri, Oct 30, 2020, 10:05 AM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About kleendr13
No profile information was provided.
Recent public activity
-
comment
Comment #24940744
Very interesting question, I just gave that a run with i and j being unknown and seems it's getting rejected by the verifier as it still probes the else path. Note that LLVM will c…