From fec66e11f6e5bb9544ab31a4705f78ec32a7e31a95ed65f422c31303ed9014a6 Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jslaby@suse.com>
Date: Thu, 6 Aug 2020 09:40:00 +0000
Subject: [PATCH] up to 2.1+20200730

OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=85
---
 _service                  |  8 +++++---
 _servicedata              |  2 +-
 klee-2.1+20200606.tar.xz  |  3 ---
 klee-2.1+20200730.obscpio |  3 +++
 klee.changes              | 22 ++++++++++++++++++++++
 klee.obsinfo              |  5 +++++
 klee.spec                 |  4 ++--
 7 files changed, 38 insertions(+), 9 deletions(-)
 delete mode 100644 klee-2.1+20200606.tar.xz
 create mode 100644 klee-2.1+20200730.obscpio
 create mode 100644 klee.obsinfo

diff --git a/_service b/_service
index 9e5a2ab..75d682b 100644
--- a/_service
+++ b/_service
@@ -1,5 +1,5 @@
 <services>
-  <service name="tar_scm" mode="disabled">
+  <service name="obs_scm" mode="disabled">
     <param name="url">git://github.com/klee/klee.git</param>
     <param name="scm">git</param>
     <param name="changesgenerate">enable</param>
@@ -7,9 +7,11 @@
     <param name="versionrewrite-pattern">v(.*)</param>
     <param name="versionrewrite-replacement">\1</param>
   </service>
-  <service name="recompress" mode="disabled">
+  <service name="set_version" mode="disabled" />
+
+  <service name="tar" mode="buildtime"/>
+  <service name="recompress" mode="buildtime">
     <param name="file">klee-*.tar</param>
     <param name="compression">xz</param>
   </service>
-  <service name="set_version" mode="disabled" />
 </services>
diff --git a/_servicedata b/_servicedata
index ca51292..a616b46 100644
--- a/_servicedata
+++ b/_servicedata
@@ -1,4 +1,4 @@
 <servicedata>
 <service name="tar_scm">
             <param name="url">git://github.com/klee/klee.git</param>
-          <param name="changesrevision">6ca440f14381c8f0461ede18eccc16bba1135e88</param></service></servicedata>
\ No newline at end of file
+          <param name="changesrevision">088fc21e12c9675161172899be5ef5051f1ae96b</param></service></servicedata>
\ No newline at end of file
diff --git a/klee-2.1+20200606.tar.xz b/klee-2.1+20200606.tar.xz
deleted file mode 100644
index 0230f29..0000000
--- a/klee-2.1+20200606.tar.xz
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:88257dc18a30322c3fe76c76a1ea334ec6c047167dd106836df2f4706fb648da
-size 650452
diff --git a/klee-2.1+20200730.obscpio b/klee-2.1+20200730.obscpio
new file mode 100644
index 0000000..a0b89fd
--- /dev/null
+++ b/klee-2.1+20200730.obscpio
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:0fc1e497470e8f1255c33211714897b949786df50e309d0a14367642e70529fe
+size 19169293
diff --git a/klee.changes b/klee.changes
index 675af15..d1b7b5c 100644
--- a/klee.changes
+++ b/klee.changes
@@ -1,3 +1,25 @@
+-------------------------------------------------------------------
+Thu Aug 06 09:35:38 UTC 2020 - jslaby@suse.com
+
+- Update to version 2.1+20200730:
+  * introduce --rng-initial-seed=<unsigned>
+  * remove holes in Instruction-/FunctionInfoTable, add documentation
+  * Clean-up and add documentation
+  * Remove state contructor with constraints
+  * Use constraint sets and separate metadata for timing solver invocation
+  * Separate constraint set and constraint manager
+  * Move constraint implementation from header to cpp files
+  * Enable subsets for RandomPathSearcher
+  * [PTree] Replace left/right with PointerIntPair
+  * Implement fshr/fshl intrinsics
+  * Switch to a more recent version of SQLite in the CI
+  * Enforce fork/branch limits in branch() and fix double termination
+  * fix Executor: initializeGlobalAliases
+  * ExecutorUtil: assert that GlobalValue is already known
+  * add simple unknown bitcast alias test from the original issue
+  * and more
+- switch to obs_scm
+
 -------------------------------------------------------------------
 Tue Jun 09 07:08:47 UTC 2020 - jslaby@suse.com
 
diff --git a/klee.obsinfo b/klee.obsinfo
new file mode 100644
index 0000000..1d628e3
--- /dev/null
+++ b/klee.obsinfo
@@ -0,0 +1,5 @@
+name: klee
+version: 2.1+20200730
+mtime: 1596123871
+commit: 088fc21e12c9675161172899be5ef5051f1ae96b
+
diff --git a/klee.spec b/klee.spec
index e7a2290..b15c674 100644
--- a/klee.spec
+++ b/klee.spec
@@ -19,7 +19,7 @@
 %define llvm_version_major 10
 %define llvm_version %{llvm_version_major}
 
-%define version_unconverted 2.1+20200606
+%define version_unconverted 2.1+20200730
 
 %ifarch %{ix86} x86_64
 %define with_uclibc 1
@@ -31,7 +31,7 @@ Name:           klee
 Summary:        LLVM Execution Engine
 License:        NCSA
 Group:          Development/Languages/Other
-Version:        2.1+20200606
+Version:        2.1+20200730
 Release:        0
 URL:            http://klee.github.io/
 Source0:        %{name}-%{version}.tar.xz