VAMPIRE: Further develop testing fo r Vampire solver

1 files changed, 4 insertions, 1 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend
index fc8d3e99..b223dbe5 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend
@@ -7,12 +7,15 @@ class VampireSolverConfiguration extends LogicSolverConfiguration {
         public var int contCycleLevel = 0
         public var boolean uniquenessDuplicates = false
         public var int iteration = -1
+        public var BackendSolver solver = BackendSolver::VAMP
         //choose needed backend solver
 //      public var VampireBackendSolver solver = VampireBackendSolver.SAT4J
 }
 
 
-enum VampireBackendSolver {
+enum BackendSolver {
+        VAMP,
+        CVC4
         //add needed things
 }