Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2022-05-12 22:59:15 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new.1538 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee" Thu May 12 22:59:15 2022 rev:31 rq:976213 version:2.3+20220506 Changes: -------- --- /work/SRC/openSUSE:Factory/klee/klee.changes 2022-03-23 20:20:37.942539272 +0100 +++ /work/SRC/openSUSE:Factory/.klee.new.1538/klee.changes 2022-05-12 22:59:44.144746485 +0200 @@ -1,0 +2,26 @@ +Tue May 10 09:23:08 UTC 2022 - [email protected] + +- Update to version 2.3+20220506: + * Switch to newer KLEE uClibc release + * Updated tests to use ktest-randgen instead of gen-random-bout + * Renamed gen-random-bout to ktest-randgen + * Updated tests to use ktest-gen instead of gen-bout + * Updated klee-zesti to use ktest-gen instead of gen-bout + * Renamed gen-bout to ktest-gen + * cl flags: document default values, remove dead option: + --replay-keep-symbolic + * Make Uclibc support a runtime option, not a compile-time one. + * use mallinfo2 if available + * Remove unnecessary call to deprecated function sqlite3_enable_shared_cache + * Add LLVM 9 and LLVM 11 patches to build with newer Linux kernel versions + * Build libcxx in parallel if possible + * Clearly separate between LLVM, a bitcode compiler, and sanitizer compiler + * Add support to `sudo` if necessary + * Removed/updated obsolete Doxygen configuration options + * Disabled Doxygen by default + * ADT/Ref.h: remove header + * Updated test MemoryLimit.c to use FileCheck, and formatted the file + * Document that GetTotalMallocUsage returns the usage in bytes +- add shlib-policy-name-error filter to rpmlint (for 15.4) + +------------------------------------------------------------------- Old: ---- klee-2.2+20220311.obscpio New: ---- klee-2.3+20220506.obscpio ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee.spec ++++++ --- /var/tmp/diff_new_pack.ltkLut/_old 2022-05-12 22:59:44.828747403 +0200 +++ /var/tmp/diff_new_pack.ltkLut/_new 2022-05-12 22:59:44.832747409 +0200 @@ -31,7 +31,7 @@ Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 2.2+20220311 +Version: 2.3+20220506 Release: 0 URL: http://klee.github.io/ Source0: %{name}-%{version}.tar.xz @@ -129,13 +129,13 @@ %defattr(-,root,root) %doc NEWS README.md %license LICENSE.TXT -%{_bindir}/gen-bout -%{_bindir}/gen-random-bout %{_bindir}/kleaver %{_bindir}/klee %{_bindir}/klee-replay %{_bindir}/klee-stats %{_bindir}/klee-zesti +%{_bindir}/ktest-gen +%{_bindir}/ktest-randgen %{_bindir}/ktest-tool %{_includedir}/klee/ %{_libdir}/libkleeRuntest.so* ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.ltkLut/_old 2022-05-12 22:59:44.888747483 +0200 +++ /var/tmp/diff_new_pack.ltkLut/_new 2022-05-12 22:59:44.892747489 +0200 @@ -1,5 +1,6 @@ <servicedata> <service name="tar_scm"> <param name="url">https://github.com/klee/klee</param> - <param name="changesrevision">043f43fd03f06fbd332d16a24bb9f6b58ee66aef</param></service></servicedata> + <param name="changesrevision">862e0871bcc50eff526f20582f1855bf5788b471</param></service></servicedata> +(No newline at EOF) ++++++ klee-2.2+20220311.obscpio -> klee-2.3+20220506.obscpio ++++++ /work/SRC/openSUSE:Factory/klee/klee-2.2+20220311.obscpio /work/SRC/openSUSE:Factory/.klee.new.1538/klee-2.3+20220506.obscpio differ: char 49, line 1 ++++++ klee-rpmlintrc ++++++ --- /var/tmp/diff_new_pack.ltkLut/_old 2022-05-12 22:59:44.928747537 +0200 +++ /var/tmp/diff_new_pack.ltkLut/_new 2022-05-12 22:59:44.928747537 +0200 @@ -1,2 +1,3 @@ addFilter("devel-file-in-non-devel-package") +addFilter("shlib-policy-name-error .*libkleeRuntest") ++++++ klee.obsinfo ++++++ --- /var/tmp/diff_new_pack.ltkLut/_old 2022-05-12 22:59:44.948747564 +0200 +++ /var/tmp/diff_new_pack.ltkLut/_new 2022-05-12 22:59:44.952747570 +0200 @@ -1,5 +1,5 @@ name: klee -version: 2.2+20220311 -mtime: 1647003697 -commit: 043f43fd03f06fbd332d16a24bb9f6b58ee66aef +version: 2.3+20220506 +mtime: 1651864460 +commit: 862e0871bcc50eff526f20582f1855bf5788b471
