up to 2.3+20220826

OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=114

_servicedata

@@ -1,4 +1,4 @@
 <servicedata>
 <service name="tar_scm">
                 <param name="url">https://github.com/klee/klee</param>
-              <param name="changesrevision">862e0871bcc50eff526f20582f1855bf5788b471</param></service></servicedata>
+              <param name="changesrevision">39f8069db879e1f859c60c821092452748b4ba37</param></service></servicedata>

klee-2.3+20220826.obscpio

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:85284e91056896035b0324383c51878b9f6e1964e2838c8796999460fef9a4d3
+size 19618317

klee.changes

@@ -1,3 +1,30 @@
+-------------------------------------------------------------------
+Mon Sep 05 09:12:26 UTC 2022 - jslaby@suse.cz
+
+- Update to version 2.3+20220826:
+  * Use true instead of Z3_TRUE (removed in z3 4.11.0)
+  * Corrected wrong usage of klee_report_error in __cxa_atexit handler
+  * Support arguments of width 128, 256 and 512 bits for external calls
+  * POSIX runtime: fstatat: check for nonnull path APIs
+  * Inline asm external call
+  * Fix memory leak in crosscheck core solver mechanism
+  * checkout KLEE with depth > 1 when running codecov
+  * rename CallSite to CallBase
+  * remove LLVM < 9
+  * Perform coverage analysis for z3 as well
+  * Remove the CI target metaSMT(Boolector).  metaSMT(STP) already runs the
+    test suite with all solvers supported by metaSMT, so the extra target
+    provides marginal benefits.
+  * Implement getArrayForUpdate iteratively
+  * Fix error with empty EntryPoint
+  * Intrinsics: Add support for @llvm.f{ma,muladd}.f*
+  * Use `klee` user to install system dependencies
+  * Spelling Fixes
+  * tests: add StackTraceOutput.c
+  * .err files: minor readability changes to stack trace output
+  * Update SpecialFunctionHandler.cpp
+  * tests: invoke LLVM tools through their corresponding macros
+
 -------------------------------------------------------------------
 Tue May 10 09:23:08 UTC 2022 - jslaby@suse.cz
 

klee.obsinfo

@@ -1,4 +1,4 @@
 name: klee
-version: 2.3+20220506
-mtime: 1651864460
-commit: 862e0871bcc50eff526f20582f1855bf5788b471
+version: 2.3+20220826
+mtime: 1661511934
+commit: 39f8069db879e1f859c60c821092452748b4ba37

klee.spec

@@ -31,7 +31,7 @@ Name:           klee
 Summary:        LLVM Execution Engine
 License:        NCSA
 Group:          Development/Languages/Other
-Version:        2.3+20220506
+Version:        2.3+20220826
 Release:        0
 URL:            http://klee.github.io/
 Source0:        %{name}-%{version}.tar.xz