~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2016-02-10	Add some of the basic plumbing required to support a Z3 solver in KLEE.	Dan Liew

2016-01-14	MetaSMT build fixes.	Dan Liew

2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
	The default core solver is STP if KLEE is built with STP otherwise it is MetaSMT. Whilst I'm here rename SUPPORT_METASMT macro to ENABLE_METASMT for consistency.
2016-01-12	Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providing	Dan Liew
	a ``createCoreSolver()`` function. The solver used is set by the new ``--solver-backend`` command line argument. The default is STP. This change necessitated refactoring the MetaSMT stuff. That clearly didn't belong in the Executor! The MetaSMT command line option is now ``--metasmt-backend`` as this only picks the MetaSMT backend. In order to use MetaSMT ``--solver-backend=metasmt`` needs to be passed. Note I don't have MetaSMT built on my development machine so I don't know if the MetaSMT stuff even compiles...