| Age | Commit message (Expand) | Author |
|---|
| 2024-02-08 | Fix test case: using unsupported `CHECK_NEXT` instead of `CHECK-NEXT` | Martin Nowack |
| 2024-02-08 | Fix test cases to support opaque pointers | Martin Nowack |
| 2024-02-08 | Explicitly enable opaque pointer support for LLVM 15 | Martin Nowack |
| 2024-02-08 | Assume C compiler's default standard is `-std=gnu17` | Martin Nowack |
| 2024-02-08 | Replace `%libcxx_include` with `%libcxx_includes` for multi-include directories | Martin Nowack |
| 2024-01-30 | Avoid generating array names in solver builders that could accidently collide | Martin Nowack |
| 2024-01-30 | Add checks to the seed concretization tests about the expected number of queries | Cristian Cadar |
| 2024-01-30 | Added a test for --allow-seed-extension | Cristian Cadar |
| 2024-01-30 | Removed --zero-seed-extension, and merge it with --allow-seed-extension. This... | Cristian Cadar |
| 2024-01-30 | On a symbolic allocation, retrieve size from a seed, if available | Cristian Cadar |
| 2024-01-30 | Concretize arguments to external function calls using seeds, if available. A... | Cristian Cadar |
| 2024-01-30 | Concretize constants using seed values, when available. Added two tests (w/ ... | Cristian Cadar |
| 2024-01-12 | Remove check for the number of solver queries | Tomasz Kuchta |
| 2024-01-12 | Make test more deterministic | Tomasz Kuchta |
| 2024-01-12 | Follow-up: applied review comments, implemented meta-data cleanup (one more m... | Tomasz Kuchta |
| 2024-01-12 | Feature: implement single memory object resolution for symbolic addresses. | Tomasz Kuchta |
| 2024-01-12 | Renamed PTree to ExecutionTree (and similar) | Cristian Cadar |
| 2024-01-12 | Rename files from PTree to ExecutionTree (and similar) | Cristian Cadar |
| 2024-01-12 | new: persistent ptree (-write-ptree) and klee-ptree | Frank Busse |
| 2023-09-11 | Changed use-after-free and double-free tests to expect KDAlloc, plus some sma... | Cristian Cadar |
| 2023-07-12 | Replaced --suppress-external-warnings and --all-external-warnings with --exte... | Cristian Cadar |
| 2023-06-11 | Rewrote has_permission in the POSIX runtime. We now only return with permiss... | Cristian Cadar |
| 2023-06-05 | test/Feature/StackTraceOutput.c: relative checks, clang-format | Julian Büning |
| 2023-06-05 | re-enable StackTraceOutput.c test | Julian Büning |
| 2023-06-05 | fix BatchingSearcher's disabled time budget | Julian Büning |
| 2023-06-05 | also check for default CHECK directive in ArrayOpt Tests | Matthis Gördel |
| 2023-05-26 | Copy stats to test directory when running tests | Daniel Schemmel |
| 2023-05-26 | Refactored and fixed the code dealing with the entry point. | Cristian Cadar |
| 2023-04-21 | Tests: replaced "-data" and "-stat" by "_data" and "_stat" for consistency wi... | Cristian Cadar |
| 2023-03-26 | tests: add some missing headers | Frank Busse |
| 2023-03-23 | Remove model_version from the POSIX runtime, as we have never used it. | Cristian Cadar |
| 2023-03-23 | tests: add Feature/KleeStatsTermClasses.c | Frank Busse |
| 2023-03-23 | tests: add Feature/KleeStatsBranches.c | Frank Busse |
| 2023-03-22 | Added more test cases for --entry-point. EntryPointMissing is currently expec... | Cristian Cadar |
| 2023-03-22 | STP: add option to switch SAT solver: --stp-sat-solver and set default to Cry... | Frank Busse |
| 2023-03-22 | Change `llvm_map_components_to_libnames` to `llvm_config` CMake function | Martin Nowack |
| 2023-03-22 | Remove hard to understand and debug pcregrep test | Cristian Cadar |
| 2023-03-22 | Fixed typo | Martin Nowack |
| 2023-03-22 | Handle fail of KLEE gracefully | Martin Nowack |
| 2023-03-22 | Explicitly check if 32bit support is enabled for testing | Martin Nowack |
| 2023-03-20 | ConstantArrayExprVisitor: Fix detection of multiple array indices | Lukáš Zaoral |
| 2023-03-20 | llvm14: port test/Feature/VarArgByVal.c to LLVM 14 | Lukáš Zaoral |
| 2023-03-20 | llvm14: Add LLVM 14 to lit.cfg | Lukáš Zaoral |
| 2023-03-17 | Don't fail `KleeStats.c` test if it takes 1s or longer | Martin Nowack |
| 2023-03-17 | Disable `const_array_opt1` for ubsan as well | Martin Nowack |
| 2023-03-17 | [cmake] Use LLVM's CMake functionality only | Martin Nowack |
| 2023-03-16 | Add some system tests for KDAlloc | Daniel Schemmel |
| 2023-03-16 | Integrate KDAlloc into KLEE | Daniel Schemmel |
| 2023-02-28 | Add a few simple solver tests | Daniel Schemmel |
| 2023-02-06 | Disable memcpy_chk_err.c on FreeBSD, where a call to __memcpy_chk is not gene... | Cristian Cadar |
