about summary refs log tree commit diff homepage
path: root/unittests
AgeCommit message (Expand)Author
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
2019-09-03Moved ConstructSolverChain.cpp to the Solver library.Cristian Cadar
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-07-30CMake: enable reuse of LLVM's googletest src and targetsJulian Büning
2019-03-12time: add double type for span multiplicationsFrank Busse
2018-10-30Base time API upon std::chronoFrank Busse
2018-10-16Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...Cristian Cadar
2018-07-04Support sanitizer suppression files with lit-based testingMartin Nowack
2018-06-14Add unittest for DiscretePDFMartin Nowack
2018-03-26[CMake] Add option to set GTest include dirlyxia
2017-10-06Silenced warnings on comparison of integers of different signs in TreeStreamTestAndrea Mattavelli
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-07-23Remove LLVM 2.9 from MakefilesMartin Nowack
2017-07-19Added some unit tests for TreeStream: one testing some basic behaviour, the o...Cristian Cadar
2017-02-16Silenced warning: comparison of integers of different signs ('const int' and ...Andrea Mattavelli
2017-02-14Added unit tests for ReadExpr::create() to check that constant folding is cor...Andrea Mattavelli
2016-11-19[CMake] Remove unneeded dependency declarations for the unit tests.Dan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-09-29Fix bug in `AssignmentEvaluator` where NotOptimizedExpr would not (#466)Dan Liew
2016-02-23Added missing copyright headers per klee/issue #301Marko Dimjašević
2016-02-10Add some of the basic plumbing required to support a Z3 solver in KLEE.Dan Liew
2016-01-14Refactor the MetaSMT makefile commands into its own file which canDan Liew
2016-01-14Make it possible to build KLEE without using STP and only MetaSMT.Dan Liew
2016-01-12Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providingDan Liew
2015-12-18Fix memory leaks of ``Array`` objects detected by ASan.Dan Liew
2015-04-03Upstream STP now depends on an external build of minisat. Attempt toDan Liew
2015-02-22Added factory method for Arrays + hid constructors from outside callsEric Rizzi
2014-11-01Upstream libstp is no longer dependent on Boost so remove theDan Liew
2014-05-30Fix ExprTest under LLVM 2.9Martin Nowack
2014-02-12Fixed compilation of unittests with upstream STP (Boost dependency).Dan Liew
2013-12-21Fixed mistake in commit c5510caa2a0ce6ad9a153fee094fe50855313450Dan Liew
2013-12-20Fix compilation of unittests under Clang.Dan Liew
2013-08-21Remove unnecessary loop from SolverTest unit test.Dan Liew
2013-07-23BFS searcher.Lei Zhang
2013-03-11Small patch by Dan Liew removing unnecessary line from a Makefile.Cristian Cadar
2012-07-31Patch by Dan Liew that removes our internal copy of STP, and makes the --with...Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 14:42:39 +0000