·
29 commits
to main
since this release
Immutable
release. Only release title and notes can be modified.
Added
- Recent version of Z3 in Docker image #17
- New Boolean option
run.verbose_validation(CLI arg:--verbose-validation) to help with debugging of validator behaviors #7
Fixed
- Decoder warnings due to spurious double-frees in validation code #24
- Usability of Docker images, where
/workdiris no longer created and the default working directory #23 - Internal handling and messaging about malformed CBMC output or unexpected properties in counter-examples #16
- Name of the internal directory where testsuites are exported #12
- Detection by the validator of buffer overflows on empty arrays #6
- Unnecessary generation by Klee, of tests that violate pre-conditions (
sc_assume) #5 - Handling of NaNs and floating-point literals in test suites #2
Full Changelog: v0.1.0...v1.0.0