diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-08 03:00:08 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:43:10 -0400 |
commit | d0e4ffcc9dfc85367ccc73bf070404416081a477 (patch) | |
tree | 0db0134207f473f6a12d7c362512b008bd6449eb /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-d0e4ffcc9dfc85367ccc73bf070404416081a477.tar.gz VIATRA-Generator-d0e4ffcc9dfc85367ccc73bf070404416081a477.tar.zst VIATRA-Generator-d0e4ffcc9dfc85367ccc73bf070404416081a477.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 | } |