Avoid mismatched comparison and fix error in forall/exists macros #1690
DCO-2 / DCO
succeeded
May 15, 2026 in 1s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | bf5b5af | Avoid mismatched comparison (suggested code improv... | Valid sign-off found |
| 🟢 | 82e4dc9 | cbmc.h: fix forall/exists to quantize over all ind... | Valid sign-off found |
| 🟢 | 1229cc1 | verify.h: relax bound on len | Valid sign-off found |
| 🟢 | 7a03a4d | cbmc.h: fix spaces | Valid sign-off found |
| 🟢 | 0bc7711 | proofs/cbmc/ct_memcmp/Makefile: use cvc5 instead o... | Valid sign-off found |
| 🟢 | 3eda479 | add cvc5 to Nix config, fix all timeouts | Valid sign-off found |
Loading