- gcc
- libc6 (>= 2.29)
- libgcc-s1 (>= 4.2)
- libstdc++6 (>= 9)
- minisat
CBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop
iterations.
Installed Size: 59.7 MB
Architectures: arm64 amd64