Hello community, here is the log from the commit of package klee for openSUSE:Factory checked in at 2019-05-28 09:43:03 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee (Old) and /work/SRC/openSUSE:Factory/.klee.new.5148 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee" Tue May 28 09:43:03 2019 rev:15 rq:705642 version:2.0+20190507 Changes: -------- --- /work/SRC/openSUSE:Factory/klee/klee.changes 2019-02-25 17:59:53.150153278 +0100 +++ /work/SRC/openSUSE:Factory/.klee.new.5148/klee.changes 2019-05-28 09:43:05.545847872 +0200 @@ -1,0 +2,16 @@ +Mon May 27 09:39:22 UTC 2019 - [email protected] + +- 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 + +------------------------------------------------------------------- Old: ---- klee-1.4.0+20190115.tar.xz New: ---- klee-2.0+20190507.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee.spec ++++++ --- /var/tmp/diff_new_pack.uRarE3/_old 2019-05-28 09:43:06.249847628 +0200 +++ /var/tmp/diff_new_pack.uRarE3/_new 2019-05-28 09:43:06.253847627 +0200 @@ -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,15 @@ 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 +# Unused -- let's check if this is still needed +Source4: disable-failing-test.patch BuildRequires: clang%{llvm_version} BuildRequires: cmake @@ -55,6 +56,8 @@ 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 +117,7 @@ %files %defattr(-,root,root) -%doc NEWS README.md TODO.txt +%doc NEWS README.md %license LICENSE.TXT %{_bindir}/gen-bout %{_bindir}/gen-random-bout ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.uRarE3/_old 2019-05-28 09:43:06.309847607 +0200 +++ /var/tmp/diff_new_pack.uRarE3/_new 2019-05-28 09:43:06.309847607 +0200 @@ -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 ++++++ disable-failing-test.patch ++++++ --- /var/tmp/diff_new_pack.uRarE3/_old 2019-05-28 09:43:06.317847605 +0200 +++ /var/tmp/diff_new_pack.uRarE3/_new 2019-05-28 09:43:06.321847603 +0200 @@ -10,6 +10,6 @@ +++ 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 ++++++ klee-1.4.0+20190115.tar.xz -> klee-2.0+20190507.tar.xz ++++++ ++++ 18941 lines of diff (skipped)
