about summary refs log tree commit diff homepage
path: root/lib/Basic/ConstructSolverChain.cpp
AgeCommit message (Collapse)Author
2016-09-15Add ``-debug-cross-check-core-solver`` option to allow cross-checkingDan Liew
with another solver. For example the core solver can be STP and the cross checking solver can be Z3. Unfortunately a few fragile tests don't pass when actually using this option.
2016-09-15Clang-format ``ConstructSolverChain.cpp``Dan Liew
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
According to LLVM: lightweight and simpler implementation of streams.
2013-08-06TimingSolver and constructSolverChain() no longer coupled with pointers to ↵Hristina Palikareva
STPSolver objects. Timeout is now set by the solver at the top of the solver chain rather than by STPSolver.
2013-04-03Code reformatting.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@178642 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-11Forgot to add ConstructSolverChain.cpp in the previous patch.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176813 91177308-0d34-0410-b5e6-96231b3b80d8
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-04-27 21:42:41 +0000