lit fix & up to 1.4.0+20180614

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

_servicedata

@@ -1,4 +1,4 @@
 <servicedata>
 <service name="tar_scm">
             <param name="url">git://github.com/klee/klee.git</param>
-          <param name="changesrevision">843e9be8fc10c6ffb30218c5a826aab192a31955</param></service></servicedata>
+          <param name="changesrevision">d2fbdf74493d69e73fbfaedc0d59e593dfd7c69d</param></service></servicedata>

klee-1.4.0+20180524.tar.xz

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:1353ef129523802c531c8dfe87a5d81544fc2a8951877ecc830fe90f58f4a226
-size 592744

klee-1.4.0+20180614.tar.xz

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

klee.changes

@@ -1,3 +1,13 @@
+-------------------------------------------------------------------
+Sat Jun 16 09:09:56 UTC 2018 - opensuse-packaging@opensuse.org
+
+- Update to version 1.4.0+20180614:
+  * Add unittest for DiscretePDF
+  * klee_int: allow NULL as name
+  * cmake: find_llvm, handle libLLVM-version.so properly
+  * Fixed memory leak from Executor::inCloseMerge, fixes #883
+- Require python3-lit as the lit packaging was refactored
+
 -------------------------------------------------------------------
 Fri May 25 10:57:57 UTC 2018 - opensuse-packaging@opensuse.org
 

klee.spec

@@ -19,7 +19,7 @@
 %define llvm_version_minor 0
 %define llvm_version %{llvm_version_major}
 
-%define version_unconverted 1.4.0+20180524
+%define version_unconverted 1.4.0+20180614
 
 %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:        1.4.0+20180524
+Version:        1.4.0+20180614
 Release:        0
 Url:            http://klee.github.io/
 Source0:        %{name}-%{version}.tar.xz
@@ -71,10 +71,10 @@ BuildRequires:  klee-uclibc-devel-static(llvm%{llvm_version})
 BuildRequires:  libacl-devel
 BuildRequires:  libcap-devel
 BuildRequires:  libselinux-devel
-BuildRequires:  lit
 BuildRequires:  llvm%{llvm_version}-devel
 BuildRequires:  ninja
 BuildRequires:  python3-base
+BuildRequires:  python3-lit
 BuildRequires:  python3-setuptools
 BuildRequires:  stp-devel
 BuildRequires:  xz