From e81f5ceed580d4d267e3c857b47637d6bd065499 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Thu, 7 Jan 2016 12:00:25 +0000 Subject: Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providing 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... --- test/Solver/FastCexSolver.pc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test') diff --git a/test/Solver/FastCexSolver.pc b/test/Solver/FastCexSolver.pc index b8f839c3..b3ec63e3 100644 --- a/test/Solver/FastCexSolver.pc +++ b/test/Solver/FastCexSolver.pc @@ -1,4 +1,4 @@ -# RUN: %kleaver --use-fast-cex-solver --use-dummy-solver %s > %t +# RUN: %kleaver --use-fast-cex-solver --solver-backend=dummy %s > %t # RUN: not grep FAIL %t array arr1[4] : w32 -> w8 = symbolic -- cgit 1.4.1