Overview
Request 617208 accepted
- Update to version 1.4.0+20180614:
* Add unittest for DiscretePDF
* klee_int: allow NULL as name
* cmake: find_llvm, handle libLLVM-version.so properly
* Fixed memory leak from Executor::inCloseMerge, fixes #883
- Require python3-lit as the lit packaging was refactored
Request History
jirislaby created request
- Update to version 1.4.0+20180614:
* Add unittest for DiscretePDF
* klee_int: allow NULL as name
* cmake: find_llvm, handle libLLVM-version.so properly
* Fixed memory leak from Executor::inCloseMerge, fixes #883
- Require python3-lit as the lit packaging was refactored
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto added repo-checker as a reviewer
Please review build success
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
staging-bot added as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:185"
staging-bot accepted review
Picked openSUSE:Factory:Staging:adi:185
repo-checker accepted review
cycle and install check passed
namtrac accepted review
maxlin_factory accepted review
ready to accept
maxlin_factory approved review
ready to accept
maxlin_factory accepted request
Accept to openSUSE:Factory