diff options
author | 2019-10-08 03:00:08 -0400 | |
---|---|---|
committer | 2019-10-08 03:00:08 -0400 | |
commit | f63a94c06268b5233264436cc538062f1f7b01bc (patch) | |
tree | cbdc3dcdb34ecbeaba24991c36c34205df79e32e /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend | |
parent | VAMPIRE: Implement Vampire measurement code (diff) | |
download | VIATRA-Generator-f63a94c06268b5233264436cc538062f1f7b01bc.tar.gz VIATRA-Generator-f63a94c06268b5233264436cc538062f1f7b01bc.tar.zst VIATRA-Generator-f63a94c06268b5233264436cc538062f1f7b01bc.zip |
VAMPIRE: fix bug in transformation, further implement measurement code
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend | 1 |
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 98967181..fc8d3e99 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 | |||
@@ -6,6 +6,7 @@ class VampireSolverConfiguration extends LogicSolverConfiguration { | |||
6 | 6 | ||
7 | public var int contCycleLevel = 0 | 7 | public var int contCycleLevel = 0 |
8 | public var boolean uniquenessDuplicates = false | 8 | public var boolean uniquenessDuplicates = false |
9 | public var int iteration = -1 | ||
9 | //choose needed backend solver | 10 | //choose needed backend solver |
10 | // public var VampireBackendSolver solver = VampireBackendSolver.SAT4J | 11 | // public var VampireBackendSolver solver = VampireBackendSolver.SAT4J |
11 | } | 12 | } |