pool/klee
SHA256
12
0
Fork 2
Code Issues Pull Requests Activity

fix changes

Browse Source 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=16
This commit is contained in:
Jiri Slaby
2017-03-27 06:28:09 +00:00
committed by Git OBS Bridge
parent 879c9db16a
commit 1d4f24e001
1 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
klee.changes
View File

@@ -5,12 +5,21 @@ Fri Mar 17 12:43:32 UTC 2017 - jslaby@suse.com
* [Lit] Add system information (linux/darwim) to LIT configuration. Added 'not-*' features that exist if target operating system does not match a list of know operating systems.
* Fix test case for OSX: only weak aliases are supported on darwin Rewritten tests by replacing 'XFAIL: darwin' with 'REQUIRES: not-darwin'
* test: fix 'not' build
- enable checking of the result (%check section)
- enable checking of the result (%check section), only on x86_64
- add some patches
* 0001-errno-define-__errno_location.patch
* 0001-test-DirSeek-make-it-XFAIL-temporarily.patch
* 0001-test-POSIX-stop-FD_Fail-to-fail.patch
* 0001-test-add-versions-of-some-tests-for-LLVM-3.8.patch
- renamed patches
* 0006-Make-KLEE-compile-against-LLVM-3.8.patch ->
0003-Make-KLEE-compile-against-LLVM-3.8.patch
* 0005-Make-KLEE-compile-against-LLVM-3.7.patch ->
0002-Make-KLEE-compile-against-LLVM-3.7.patch
- deleted patches (they are upstream)
* 0007-fix-compilation-on-LLVM-3.8-after-rebase-to-master.patch
* 0004-Cleanup-removed-unneccessary-bools.patch
* 0002-Fix-compiler-warning.patch
-------------------------------------------------------------------
Wed Mar 15 12:57:25 UTC 2017 - jslaby@suse.com