about summary refs log tree commit diff homepage
path: root/unittests
AgeCommit message (Expand)Author
2024-01-30Avoid generating array names in solver builders that could accidently collideMartin Nowack
2024-01-12Renamed PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12SearcherTest: remove redundant root init, fix branch typeFrank Busse
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank Busse
2023-07-10remove timings from kdalloc testsDaniel Schemmel
2023-07-10Simplify KDAlloc testsDaniel Schemmel
2023-07-06rename Allocator::location_info to Allocator::locationInfo forDaniel Schemmel
2023-07-06Perform location_info tests in KDAlloc's random testDaniel Schemmel
2023-06-26RefTest: suppress -Wself-moveJulian Büning
2023-06-07unittests/CMakeLists.txt: set gtest include dir only if necessaryJulian Büning
2023-06-07unittests/CMakeLists.txt: do not echo GTEST_SRC_DIR on errorJulian Büning
2023-06-07unittests/CMakeLists.txt: no UNITTEST_MAIN_LIBSJulian Büning
2023-06-07unittests/CMakeLists.txt: remove obsolete policyJulian Büning
2023-06-07unittests/CMakeLists.txt: fix LLVM find_package supportJulian Büning
2023-06-07unittests/CMakeLists.txt: gtest check for LLVM 13+Julian Büning
2023-04-21use unique_ptr all throughout the solver chainDaniel Schemmel
2023-04-20remove unused rng adaptor functionsDaniel Schemmel
2023-04-18change some obsolete KDAlloc commentsJulian Büning
2023-03-23Run KDAlloc/rusage unittest a few times to allow for swapfile interferenceDaniel Schemmel
2023-03-22Change `llvm_map_components_to_libnames` to `llvm_config` CMake functionMartin Nowack
2023-03-17Update KDAlloc unittestsMartin Nowack
2023-03-17[cmake] Use LLVM's CMake functionality onlyMartin Nowack
2023-03-16Add some unit tests for KDAllocDaniel Schemmel
2022-06-15Spelling Fixesm-davis
2022-05-05cmake: try using system installation of GTest if it's presentLukáš Zaoral
2022-03-17remove LLVM < 6 from build/test scriptsFrank Busse
2022-03-09tests: make UBSAN print stack tracesLukáš Zaoral
2022-03-09fix CMake: gtest from llvm includes gtest_mainJulian Büning
2022-01-05introduce BranchTypesFrank Busse
2022-01-05unittests/TestMain: show stack trace on errorJulian Büning
2022-01-05fix CMake: use own TestMain instead of gtest_mainJulian Büning
2022-01-05CMake: set Google Test options properlyJulian Büning
2022-01-05fix CMake: GTEST_INSTALL -> INSTALL_GTESTJulian Büning
2022-01-05CMake: include GTest include hint for 1.8.0+Julian Büning
2020-11-04[cmake] Remove several leftovers from old autoconf build systemMartin Nowack
2020-09-03Fix PTree::remove to clean the tree properlySebastian Poeplau
2020-07-30[unittests] use static PTree::remove method in SearcherTestFrank Busse
2020-07-30introduce --rng-initial-seed=<unsigned>Frank Busse
2020-07-01Separate constraint set and constraint managerMartin Nowack
2020-07-01Move constraint implementation from header to cpp filesMartin Nowack
2020-06-29Enable subsets for RandomPathSearcherTimotej Kapus
2020-04-30Removed include/klee/util and moved header files to appropriate placesCristian Cadar
2020-04-30Move header files from lib/Expr to include/klee/Expr to eliminate includes us...Cristian Cadar
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2020-04-07Add unit test for Z3Solver::getConstraintLogDaniel Grumberg
2020-02-19Add move assignment operator and move construct for `ref` class.Martin Nowack
2020-02-19Add `ReferenceCounter` struct utilized by ref<>Martin Nowack
2020-02-19Fix ptr reference invalidation if last reference gets freed before new refere...Martin Nowack
2019-12-12[optimize-array] Hash collision testTimotej Kapus
2019-09-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 16:56:06 +0000