Accepting request 976213 from devel:tools:statica

- 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)

OBS-URL: https://build.opensuse.org/request/show/976213
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=31

_servicedata

@@ -1,4 +1,4 @@
 <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>

klee-2.2+20220311.obscpio

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:7839dd63f1b914a15ecda8cb6336195a84d6b3483a9658ef8dac6f8225e0cd13
-size 19642381

klee-2.3+20220506.obscpio

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:26adc0b0036be333b1300124b1c59c575a0c1eee66f6d13521b408d99ca2e691
+size 19623949

klee-rpmlintrc

@@ -1 +1,2 @@
 addFilter("devel-file-in-non-devel-package")
+addFilter("shlib-policy-name-error .*libkleeRuntest")

klee.changes

@@ -1,3 +1,29 @@
+-------------------------------------------------------------------
+Tue May 10 09:23:08 UTC 2022 - jslaby@suse.cz
+
+- 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)
+
 -------------------------------------------------------------------
 Wed Mar 16 09:05:12 UTC 2022 - jslaby@suse.cz
 

klee.obsinfo

@@ -1,4 +1,4 @@
 name: klee
-version: 2.2+20220311
-mtime: 1647003697
-commit: 043f43fd03f06fbd332d16a24bb9f6b58ee66aef
+version: 2.3+20220506
+mtime: 1651864460
+commit: 862e0871bcc50eff526f20582f1855bf5788b471

klee.spec

@@ -31,7 +31,7 @@ Name:           klee
 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 @@ ninja check
 %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*