| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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... | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |