We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
use std::size_t for counters
make test more easily satisfiable
Release 5.5
disable LIBZIP
Release 5.3
CBMC 5.2 release tag
5.1 release
release 5.0
Post-submission: break up array assignments in CEX, fix location loops