1 files changed, 1 insertions, 0 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 b223dbe5..4e9737cb 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
@@ -8,6 +8,7 @@ class VampireSolverConfiguration extends LogicSolverConfiguration {
        public var boolean uniquenessDuplicates = false
        public var int iteration = -1
        public var BackendSolver solver = BackendSolver::VAMP
+        public var genModel = true
        //choose needed backend solver
 //      public var VampireBackendSolver solver = VampireBackendSolver.SAT4J
 }

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 b223dbe5..4e9737cb 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
@@ -8,6 +8,7 @@ class VampireSolverConfiguration extends LogicSolverConfiguration {
8	public var boolean uniquenessDuplicates = false	8	public var boolean uniquenessDuplicates = false
9	public var int iteration = -1	9	public var int iteration = -1
10	public var BackendSolver solver = BackendSolver::VAMP	10	public var BackendSolver solver = BackendSolver::VAMP
		11	public var genModel = true
11	//choose needed backend solver	12	//choose needed backend solver
12	// public var VampireBackendSolver solver = VampireBackendSolver.SAT4J	13	// public var VampireBackendSolver solver = VampireBackendSolver.SAT4J
13	}	14	}