| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-03-09 | tests: make UBSAN print stack traces | Lukáš Zaoral | |
| 2022-01-07 | tests: add Feature/KleeStatsNoBr.c | Frank Busse | |
| 2022-01-07 | tests: adapt Feature/KleeStatsColumns.test to klee-stats changes | Frank Busse | |
| 2022-01-07 | tests: extend Feature/KleeStats.c | Frank Busse | |
| 2022-01-05 | Added a test for invocations of klee_make_symbolic with a wrong size to ↵ | Cristian Cadar | |
| MakeSymbolicAPI.c, and reformatted the file. | |||
| 2021-12-20 | test/Concrete/GlobalUndef.ll: Remove `target datalayout` and `target triple` | Lukáš Zaoral | |
| Fixes assertion violation triggered in LLVM 13 CI job due to incompatibility with default target triple and datalayout. | |||
| 2021-12-20 | llvm13: Add LLVM 13 to lit.cfg | Lukas Zaoral | |
| 2021-11-20 | Fixed fail with preferCex, removed relation from first argument | Taras Bereznyak | |
| 2021-11-02 | tests: adjust Feature/KleeStatsColumns.test for fixed column order | Frank Busse | |
| 2021-10-27 | tools/klee: Warn if module and host target triples differ | Lukas Zaoral | |
| ... as running a bitcode with a different target triple may result in unexpected crashes or assertion violations. | |||
| 2021-10-17 | test/Runtime/POSIX/Futimesat: futimesat(2) requires _GNU_SOURCE on glibc ↵ | Lukas Zaoral | |
| platforms | |||
| 2021-10-17 | test/Runtime/POSIX/Futimesat: Compile with -std=c99 | Lukas Zaoral | |
| .. so that `linux` is not a defined macro. Without the `-std=c99` option, linux is an implicitly defined macro so all such substrings in the given path will be replaced with `1` during stringification. Unfortunately, Fedora's rpmbuild uses `x86_64-redhat-linux-gnu` as a build directory for all CMake projects which leads to a failure due to a change to `x86_64-redhat-1-gnu`. Fixes: #1424 | |||
| 2021-10-13 | test/Feature/FunctionAlias.c: Add missing CHECK-UNKNOWN prefix | Lukas Zaoral | |
| This test started to fail on LLVM 13 because FileCheck switched the default setting regarding the allowance of unused prefixes. This is now considered to be a fatal error. | |||
| 2021-09-10 | llvm12: Implement llvm.abs intrinsic | Lukas Zaoral | |
| The vector variants are not implemented at the moment. See: https://reviews.llvm.org/D84125 Co-authored-by: Lukas Zaoral <lzaoral@redhat.com> Co-authored-by: Martin Nowack <m.nowack@imperial.ac.uk> | |||
| 2021-09-10 | llvm12: Implement llvm.{s,u}{max,min} intrinsics | Lukas Zaoral | |
| The vector variants are not implemented at the moment. See: https://reviews.llvm.org/D84125 Co-authored-by: Lukas Zaoral <lzaoral@redhat.com> Co-authored-by: Martin Nowack <m.nowack@imperial.ac.uk> | |||
| 2021-09-10 | llvm12: Add LLVM 12 to lit.cfg | Lukas Zaoral | |
| 2021-06-19 | Test failure for WSL 1 | Pavel Yatcheniy | |
| 2021-05-10 | extend function pointer test | Julian Büning | |
| Part of the test was already disabled in the initial checkin. However, we do support function pointers if they are restricted to one or more possible values. | |||
| 2021-05-04 | tests: adjust to new summary output | Frank Busse | |
| 2021-05-04 | test: count paths with -dump-states-on-halt=false | Frank Busse | |
| 2021-04-20 | Replaced the time-based delay after which the max-static-*-pct checks are ↵ | Cristian Cadar | |
| performed with one expressed in terms of number of forks. | |||
| 2021-04-20 | Test for -max-static-fork-pct | Cristian Cadar | |
| 2021-04-20 | test/Concrete: Use Python 3 in ConcreteTest.py explicitly | Lukas Zaoral | |
| Some Linux distributions, e.g. Fedora, do not install the unversioned Python binary by default and Python 2 has been dead for more than a year. | |||
| 2021-04-18 | tests: Invoke tools through their corresponding macros | Lukas Zaoral | |
| 2021-04-18 | tests: Do not add klee tools to PATH in lit | Lukas Zaoral | |
| It may happen that some older instance of klee is already present in PATH. All tests that call plain klee instead of %klee may use it and then unexpectedly fail. This commit will make all tests that rely on klee tools being explicitly in PATH fail in our CI. From now on, only LLVM tools, FileCheck and not will be in lit's PATH. | |||
| 2021-04-08 | cmake: Fix CMP0026 policy deprecation warning | Lukas Zaoral | |
| CMake 3.19+ started to issue warnings if this policy is set to OLD: CMake Deprecation Warning at test/CMakeLists.txt:143 (cmake_policy): The OLD behavior for policy CMP0026 will be removed from a future version of CMake. The cmake-policies(7) manual explains that the OLD behaviors of all policies are deprecated and that a policy should be set to OLD only under specific short-term circumstances. Projects should be ported to the NEW behavior and not rely on setting a policy to OLD. | |||
| 2021-03-04 | tests: add support for LLVM 11.1 | Frank Busse | |
| 2021-02-16 | renaming 'libcxx' -> 'libc++' | Julian Büning | |
| 2020-12-23 | tests: add getcwd EINVAL test | Frank Busse | |
| 2020-12-23 | klee-libc: simplify mempcpy | Frank Busse | |
| 2020-12-04 | Test reflecting the LLVM 11 behavior for transforming reads of the form ↵ | Cristian Cadar | |
| f[k], with k symbolic and f a 4-element vector into something along the lines: if k == 0 => f[0] elif k == 1 => f[1] elif k == 2 => f[2] elif k == 3 => f[3] else ==> undef | |||
| 2020-12-04 | Test reflecting the LLVM 11 behavior for transforming writes of the form ↵ | Cristian Cadar | |
| f[k] = v, with f a 4-element vector, into something along the lines: if k == 0 => f[0] = v if k == 1 => f[1] = v if k == 2 => f[2] = v if k == 3 => f[3] = v | |||
| 2020-12-04 | Move all overflows from the vector instructions tests into a new file, as ↵ | Cristian Cadar | |
| the overflow behaviour is different in LLVM 11. | |||
| 2020-12-04 | Add LLVM 11 to lit.cfg | Cristian Cadar | |
| 2020-12-02 | Detect system include headers on macOS | Martin Nowack | |
| System header files on macOS are not part of `/usr/include` since Catalina. Instead, multiple locations are possible and depend on the selected SDK. Use `xcrun` to automatically detect the correct path on macOS. | |||
| 2020-11-11 | tests: add test for klee-stats --table-format=csv/readable-csv | Frank Busse | |
| 2020-11-09 | Test checking that __strcpy_chk is handled correctly when uclibc is used | Cristian Cadar | |
| 2020-11-09 | Test checking that __strcat_chk is handled correctly with klee-libc | Cristian Cadar | |
| 2020-11-09 | Added test checking that a simple overflow is caught via -D_FORTIFY_SOURCE | Cristian Cadar | |
| 2020-11-09 | Test checking that __memchk_chk is handled correctly with the freestanding ↵ | Cristian Cadar | |
| library. | |||
| 2020-11-04 | [cmake] Remove several leftovers from old autoconf build system | Martin Nowack | |
| 2020-11-03 | fix: bcmp with n==0 | Alastair Reid | |
| This was executing the loop when n==0 leading to an out of bound pointer error. Found while verifying Rust code that compares strings. | |||
| 2020-10-30 | Add test for atexit order | Tomas Jasek | |
| 2020-10-30 | Mark the StaticDestructor test as failing on macOS | Cristian Cadar | |
| 2020-10-30 | Optimize StaticDestructor test to be less fragile to compiler optimizations. | Cristian Cadar | |
| 2020-10-12 | MergingSearcher: remove random-path incompatibility | Frank Busse | |
| 2020-10-12 | address MartinNowack's remaining feedback | Julian Büning | |
| 2020-10-12 | Exception handling only for LLVM >= 8.0.0 | Julian Büning | |
| 2020-10-12 | Implemented support for C++ Exceptions | Felix Rath | |
| We implement the Itanium ABI unwinding base-API, and leave the C++-specific parts to libcxxabi. Co-authored-by: Lukas Wölfer <lukas.woelfer@rwth-aachen.de> | |||
| 2020-10-09 | implement fneg instruction | Julian Büning | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |