Overview
Request 873704 accepted
- Update to version 2.2+20210216:
* Executor: remove obsolete special case for __cxa_{re,}throw
* add klee_messages for C++ exception handling support
* add ifdefs for C++ exception handling
* renaming 'libcxx' -> 'libc++'
* posix runtime: getcwd: check malloc and set errno
* posix runtime: remove dead branch
* klee-libc: simplify mempcpy
* fix cflags for runtime build types
- add 0001-runtime-POSIX-fix-failures-with-glibc-2.33.patch
Request History
jirislaby created request
- Update to version 2.2+20210216:
* Executor: remove obsolete special case for __cxa_{re,}throw
* add klee_messages for C++ exception handling support
* add ifdefs for C++ exception handling
* renaming 'libcxx' -> 'libc++'
* posix runtime: getcwd: check malloc and set errno
* posix runtime: remove dead branch
* klee-libc: simplify mempcpy
* fix cflags for runtime build types
- add 0001-runtime-POSIX-fix-failures-with-glibc-2.33.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 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:120"
dimstar_suse accepted review
Picked "openSUSE:Factory:Staging:adi:120"
dimstar accepted review
dimstar_suse accepted review
Staging Project openSUSE:Factory:Staging:adi:120 got accepted.
dimstar_suse approved review
Staging Project openSUSE:Factory:Staging:adi:120 got accepted.
dimstar_suse accepted request
Staging Project openSUSE:Factory:Staging:adi:120 got accepted.
