Overview
Request 895125 superseded
Depends on sr#895123.
- Update to version 2.2+20210510:
* allocate memory objects for functions
* differentiate between partial and completed paths in summary and fix paths
stats when not dumping states
* posix runtime: add malloc checks
* Fix erroneous klee-stats legend for --print-all
* Replaced the time-based delay
* Refactored maxStaticPctChecks into a sequence of conditions.
* Added a warning when forking is skipped due to MaxStatic*Pct limits being
reached
* Added -max-static-pct-check-delay to replace the hardcoded delay after
which the MaxStatic*Pct checks are performed.
* klee-replay: Fix -Wformat-truncation warning
- Switch to LLVM 12.
* add 0001-test-disable-until-it-is-fixed.patch
* add 0001-test-lit-add-12-to-supported-LLVM-versions.patch
- Created by jirislaby
- In state superseded
- Supersedes 895124
- Superseded by 895887
- Open review for openSUSE:Factory:Staging:adi:17
Request History
jirislaby created request
Depends on sr#895123.
- Update to version 2.2+20210510:
* allocate memory objects for functions
* differentiate between partial and completed paths in summary and fix paths
stats when not dumping states
* posix runtime: add malloc checks
* Fix erroneous klee-stats legend for --print-all
* Replaced the time-based delay
* Refactored maxStaticPctChecks into a sequence of conditions.
* Added a warning when forking is skipped due to MaxStatic*Pct limits being
reached
* Added -max-static-pct-check-delay to replace the hardcoded delay after
which the MaxStatic*Pct checks are performed.
* klee-replay: Fix -Wformat-truncation warning
- Switch to LLVM 12.
* add 0001-test-disable-until-it-is-fixed.patch
* add 0001-test-lit-add-12-to-supported-LLVM-versions.patch
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
dimstar_suse added openSUSE:Factory:Staging:adi:17 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:17"
dimstar_suse accepted review
Picked "openSUSE:Factory:Staging:adi:17"
dimstar accepted review
superseded by 895887