pool/klee
SHA256
4
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

enable 2 more tests

Browse Source 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=135
This commit is contained in:
Jiri Slaby 2024-02-09 11:36:36 +00:00 committed by Git OBS Bridge
parent 86bb6dac9a
commit fbd4ff6b9b
2 changed files with 4 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
0001-test-disable-failing-tests-with-llvm-15.patch
View File

@ -9,10 +9,8 @@ This should be solved, but until then, disable these temporarily.
Links: https://github.com/klee/klee/pull/1664#issuecomment-1855364303
Signed-off-by: Jiri Slaby <jslaby@suse.cz>
---
test/Feature/VarArgByVal.c | 2 +-
test/Runtime/POSIX/DirConsistency.c | 1 +
test/Runtime/POSIX/SymFileConsistency.c | 1 +
3 files changed, 3 insertions(+), 1 deletion(-)
test/Feature/VarArgByVal.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/test/Feature/VarArgByVal.c b/test/Feature/VarArgByVal.c
index 7b979f61..582b584f 100644
@ -24,25 +22,6 @@ index 7b979f61..582b584f 100644
/* This test checks that KLEE correctly handles variadic arguments with the
byval attribute */
diff --git a/test/Runtime/POSIX/DirConsistency.c b/test/Runtime/POSIX/DirConsistency.c
index 5d7e47a1..9183db24 100644
--- a/test/Runtime/POSIX/DirConsistency.c
+++ b/test/Runtime/POSIX/DirConsistency.c
@@ -1,3 +1,4 @@
+// REQUIRES: lt-llvm-15.0
// RUN: %clang %s -emit-llvm %O0opt -c -g -o %t.bc
// RUN: rm -rf %t.klee-out %t.klee-out-tmp
// RUN: %gentmp %t.klee-out-tmp
diff --git a/test/Runtime/POSIX/SymFileConsistency.c b/test/Runtime/POSIX/SymFileConsistency.c
index d97f65f0..e2b8b9a8 100644
--- a/test/Runtime/POSIX/SymFileConsistency.c
+++ b/test/Runtime/POSIX/SymFileConsistency.c
@@ -1,4 +1,5 @@
// REQUIRES: posix-runtime
+// REQUIRES: lt-llvm-15.0
// RUN: %clang %s -emit-llvm %O0opt -c -g -o %t.bc
// RUN: rm -rf %t.klee-out-tmp
// RUN: %klee --output-dir=%t.klee-out-tmp --libc=uclibc --posix-runtime --exit-on-error %t.bc --sym-files 1 1 > %t1.log
--
2.43.0

2
klee.changes
View File

@ -45,6 +45,8 @@ Fri Feb 09 07:40:49 UTC 2024 - jslaby@suse.cz
* 0020-Update-test-case-for-expressions-using-udiv-urem-sdi.patch
* 0021-Support-newer-LLVM-versions-in-lit.patch
* 0022-Enable-CI-to-test-newer-LLVM-versions.patch
- drop two hunks from 0001-test-disable-failing-tests-with-llvm-15.patch --
fixed in klee-uclibc
-------------------------------------------------------------------
Thu Dec 14 07:40:13 UTC 2023 - jslaby@suse.cz