From 29b33546526d3ec76b3bbc7511028afeec5c650cdf661babae1562a87b7a5ec7 Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jslaby@suse.com>
Date: Mon, 27 May 2019 09:52:01 +0000
Subject: [PATCH] up to 2.0+20190507

OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=67
---
 _servicedata               |  2 +-
 disable-failing-test.patch |  2 +-
 klee-1.4.0+20190115.tar.xz |  3 ---
 klee-2.0+20190507.tar.xz   |  3 +++
 klee.changes               | 16 ++++++++++++++++
 klee.spec                  | 10 ++++++----
 6 files changed, 27 insertions(+), 9 deletions(-)
 delete mode 100644 klee-1.4.0+20190115.tar.xz
 create mode 100644 klee-2.0+20190507.tar.xz

diff --git a/_servicedata b/_servicedata
index 9950af6..dabc689 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">44325801ed4840cb1c334b9810f16ea8d691e986</param></service></servicedata>
\ No newline at end of file
+          <param name="changesrevision">0cf14d6d70b939ad29a9da42b33a4a5d4697b947</param></service></servicedata>
\ No newline at end of file
diff --git a/disable-failing-test.patch b/disable-failing-test.patch
index 5d89298..3b66f1d 100644
--- a/disable-failing-test.patch
+++ b/disable-failing-test.patch
@@ -10,6 +10,6 @@ https://github.com/klee/klee/issues/1010
 +++ b/test/Runtime/POSIX/DirConsistency.c
 @@ -1,3 +1,4 @@
 +// REQUIRES: bubak
- // RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t.bc
+ // RUN: %clang %s -emit-llvm %O0opt -c -o %t.bc
  // RUN: rm -rf %t.klee-out %t.klee-out-tmp
  // RUN: %gentmp %t.klee-out-tmp
diff --git a/klee-1.4.0+20190115.tar.xz b/klee-1.4.0+20190115.tar.xz
deleted file mode 100644
index 272c7f2..0000000
--- a/klee-1.4.0+20190115.tar.xz
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:6fba14de48574283cfe3dbdf085a73ed2b2afc33d9cc155b4e83197b16726f50
-size 622332
diff --git a/klee-2.0+20190507.tar.xz b/klee-2.0+20190507.tar.xz
new file mode 100644
index 0000000..55358f3
--- /dev/null
+++ b/klee-2.0+20190507.tar.xz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:2a0093cdacb6af77517358020abd49f759fe2e7f79d9e7a5b84bac25bd592cc3
+size 634512
diff --git a/klee.changes b/klee.changes
index c02c1eb..e0cb617 100644
--- a/klee.changes
+++ b/klee.changes
@@ -1,3 +1,19 @@
+-------------------------------------------------------------------
+Mon May 27 09:39:22 UTC 2019 - jslaby@suse.com
+
+- Update to version 2.0+20190507:
+  * Propagate correct version of metasmt to build script
+  * Add missing dependency for tabulate package
+  * Remove CC as requirement; automatically set by sanitizer_compiler
+  * klee-stats: add - to to-csv/grafana options
+  * Add klee-stats test, fix microseconds bug
+  * Add MSan support for sqlite
+  * Clean klee-stats, StatsTracker and cmake
+  * Change the .stats format into sqlite3
+  * Add FreeBSD OS triple in RaiseAsm
+  * Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSD
+  * and more
+
 -------------------------------------------------------------------
 Mon Feb 25 10:15:41 UTC 2019 - Jiri Slaby <jslaby@suse.com>
 
diff --git a/klee.spec b/klee.spec
index 645db82..f1ce585 100644
--- a/klee.spec
+++ b/klee.spec
@@ -20,7 +20,7 @@
 %define llvm_version_minor 0
 %define llvm_version %{llvm_version_major}
 
-%define version_unconverted 1.4.0+20190115
+%define version_unconverted 2.0+20190507
 
 %ifarch %{ix86} x86_64
 %define with_uclibc 1
@@ -32,14 +32,14 @@ Name:           klee
 Summary:        LLVM Execution Engine
 License:        NCSA
 Group:          Development/Languages/Other
-Version:        1.4.0+20190115
+Version:        2.0+20190507
 Release:        0
 Url:            http://klee.github.io/
 Source0:        %{name}-%{version}.tar.xz
 Source1:        %{name}-rpmlintrc
 Source2:        https://raw.githubusercontent.com/llvm-mirror/llvm/release_%{llvm_version_major}%{llvm_version_minor}/utils/not/not.cpp
 Source3:        https://raw.githubusercontent.com/llvm-mirror/llvm/release_%{llvm_version_major}%{llvm_version_minor}/utils/FileCheck/FileCheck.cpp
-Patch0:         disable-failing-test.patch
+#Patch0:         disable-failing-test.patch
 
 BuildRequires:  clang%{llvm_version}
 BuildRequires:  cmake
@@ -55,6 +55,8 @@ BuildRequires:  ninja
 BuildRequires:  python3-base
 BuildRequires:  python3-lit
 BuildRequires:  python3-setuptools
+BuildRequires:  python3-tabulate
+BuildRequires:  sqlite3-devel
 BuildRequires:  stp-devel
 BuildRequires:  xz
 BuildRequires:  zlib-devel
@@ -114,7 +116,7 @@ ninja check
 
 %files
 %defattr(-,root,root)
-%doc NEWS README.md TODO.txt
+%doc NEWS README.md
 %license LICENSE.TXT
 %{_bindir}/gen-bout
 %{_bindir}/gen-random-bout