up to 1.4.0+20190115

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

_servicedata

@@ -1,4 +1,4 @@
 <servicedata>
 <service name="tar_scm">
             <param name="url">git://github.com/klee/klee.git</param>
-          <param name="changesrevision">124f8f688cfaa0c8ef8321d86064af216bb0e406</param></service></servicedata>
+          <param name="changesrevision">44325801ed4840cb1c334b9810f16ea8d691e986</param></service></servicedata>

klee-1.4.0+20181214.tar.xz

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

klee-1.4.0+20190115.tar.xz

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

klee.changes

@@ -1,5 +1,29 @@
 -------------------------------------------------------------------
-Sun Dec 16 09:33:44 UTC 2018 - opensuse-packaging@opensuse.org
+Mon Feb 25 10:15:41 UTC 2019 - Jiri Slaby <jslaby@suse.com>
+
+- Update to version 1.4.0+20190115:
+  * make AssignmentLessThan::operator() const-invocable
+  * fix a bug in a function call
+  * ktest-tool: move from optparse to argparse, add ouput/example sections to help
+  * Travis OSX: install Python 3.x
+  * regression/2014-09-13-debug-info.c: use 'int: ' instead of 'data:'
+  * Various fixes for ktest-tool
+  * Added default values to option comments
+  * Renamed --environ to --env-file
+  * Renamed --stop-after-n-tests to --max-tests
+  * Added a replaying option category
+  * Added checks option category, moved --optimize to starting category, renamed original --run-in option to --running-dir
+  * Added linking option category
+  * Added starting option category
+  * Added test case option category
+  * Added debugging category
+  * Renamed --stop-after-n-instructions to --max-instructions, as suggested by @251
+  * Added some descriptions suggested by @MartinNowack and placed --max-static-... options under the termination category of options
+  * Added option categories for external call policy and termination criteria
+  * Created two more option categories: test generation and seeding.
+
+-------------------------------------------------------------------
+Sun Dec 16 09:33:44 UTC 2018 - Jiri Slaby <jslaby@suse.com>
 
 - Update to version 1.4.0+20181214:
   * Enable C++14 support

klee.spec

@@ -1,7 +1,7 @@
 #
 # spec file for package klee
 #
-# Copyright (c) 2018 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany.
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -20,7 +20,7 @@
 %define llvm_version_minor 0
 %define llvm_version %{llvm_version_major}
 
-%define version_unconverted 1.4.0+20181214
+%define version_unconverted 1.4.0+20190115
 
 %ifarch %{ix86} x86_64
 %define with_uclibc 1
@@ -32,7 +32,7 @@ Name:           klee
 Summary:        LLVM Execution Engine
 License:        NCSA
 Group:          Development/Languages/Other
-Version:        1.4.0+20181214
+Version:        1.4.0+20190115
 Release:        0
 Url:            http://klee.github.io/
 Source0:        %{name}-%{version}.tar.xz
@@ -72,7 +72,8 @@ mkdir -p build/test/
 cp %{SOURCE2} build/test/
 cp %{SOURCE3} build/test/
 
-sed -i '1s@env python@python3@' test/Concrete/ConcreteTest.py \
+sed -i '1s@/usr/bin/env python3*@/usr/bin/python3@' \
+	test/Concrete/ConcreteTest.py \
 	tools/klee-stats/klee-stats \
 	tools/ktest-tool/ktest-tool