about summary refs log tree commit diff homepage
path: root/test
AgeCommit message (Expand)Author
2024-02-27Small refactorings and reformatting in callExternalFunctionCristian Cadar
2024-02-27This commit fixes the concretization of arguments following an external call ...Cristian Cadar
2024-02-27Two test cases exercising two policies for calling external calls with symbol...Cristian Cadar
2024-02-17Remove the not Darwin requirement for the test TargetMismatch.cCristian Cadar
2024-02-16drop llvm 9 and 10Daniel Schemmel
2024-02-12Fix brittleness in Feature/VarArgByVal testDaniel Schemmel
2024-02-08Add space between include and main function for updated test casesMartinNowack
2024-02-08Support newer LLVM versions in `lit`Martin Nowack
2024-02-08Update test case for expressions using `udiv`, `urem`, `sdiv` and `srem`Martin Nowack
2024-02-08Handle check for thrown libc++ exceptions more generalMartin Nowack
2024-02-08Disable `2018-10-30-llvm-pr39177.ll` for newer LLVM versions.Martin Nowack
2024-02-08Fix test case: using unsupported `CHECK_NEXT` instead of `CHECK-NEXT`Martin Nowack
2024-02-08Fix test cases to support opaque pointersMartin Nowack
2024-02-08Explicitly enable opaque pointer support for LLVM 15Martin Nowack
2024-02-08Assume C compiler's default standard is `-std=gnu17`Martin Nowack
2024-02-08Replace `%libcxx_include` with `%libcxx_includes` for multi-include directoriesMartin Nowack
2024-01-30Avoid generating array names in solver builders that could accidently collideMartin Nowack
2024-01-30Add checks to the seed concretization tests about the expected number of queriesCristian Cadar
2024-01-30Added a test for --allow-seed-extensionCristian Cadar
2024-01-30Removed --zero-seed-extension, and merge it with --allow-seed-extension. This...Cristian Cadar
2024-01-30On a symbolic allocation, retrieve size from a seed, if availableCristian Cadar
2024-01-30Concretize arguments to external function calls using seeds, if available. A...Cristian Cadar
2024-01-30Concretize constants using seed values, when available. Added two tests (w/ ...Cristian Cadar
2024-01-12Remove check for the number of solver queriesTomasz Kuchta
2024-01-12Make test more deterministicTomasz Kuchta
2024-01-12Follow-up: applied review comments, implemented meta-data cleanup (one more m...Tomasz Kuchta
2024-01-12Feature: implement single memory object resolution for symbolic addresses.Tomasz Kuchta
2024-01-12Renamed PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12Rename files from PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank Busse
2023-09-11Changed use-after-free and double-free tests to expect KDAlloc, plus some sma...Cristian Cadar
2023-07-12Replaced --suppress-external-warnings and --all-external-warnings with --exte...Cristian Cadar
2023-06-11Rewrote has_permission in the POSIX runtime. We now only return with permiss...Cristian Cadar
2023-06-05test/Feature/StackTraceOutput.c: relative checks, clang-formatJulian Büning
2023-06-05re-enable StackTraceOutput.c testJulian Büning
2023-06-05fix BatchingSearcher's disabled time budgetJulian Büning
2023-06-05also check for default CHECK directive in ArrayOpt TestsMatthis Gördel
2023-05-26Copy stats to test directory when running testsDaniel Schemmel
2023-05-26Refactored and fixed the code dealing with the entry point.Cristian Cadar
2023-04-21Tests: replaced "-data" and "-stat" by "_data" and "_stat" for consistency wi...Cristian Cadar
2023-03-26tests: add some missing headersFrank Busse
2023-03-23Remove model_version from the POSIX runtime, as we have never used it.Cristian Cadar
2023-03-23tests: add Feature/KleeStatsTermClasses.cFrank Busse
2023-03-23tests: add Feature/KleeStatsBranches.cFrank Busse
2023-03-22Added more test cases for --entry-point. EntryPointMissing is currently expec...Cristian Cadar
2023-03-22STP: add option to switch SAT solver: --stp-sat-solver and set default to Cry...Frank Busse
2023-03-22Change `llvm_map_components_to_libnames` to `llvm_config` CMake functionMartin Nowack
2023-03-22Remove hard to understand and debug pcregrep testCristian Cadar
2023-03-22Fixed typoMartin Nowack
2023-03-22Handle fail of KLEE gracefullyMartin Nowack