diff options
author | 2019-08-28 05:56:34 -0400 | |
---|---|---|
committer | 2020-06-07 19:41:36 -0400 | |
commit | 4c34e22d23197ca6b03827a24e9339f88f82df5f (patch) | |
tree | 96450d132cc4bd6be7127a9bd11716e932bf3507 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend | |
parent | Pre-realisticBranchCreation Commit (diff) | |
download | VIATRA-Generator-4c34e22d23197ca6b03827a24e9339f88f82df5f.tar.gz VIATRA-Generator-4c34e22d23197ca6b03827a24e9339f88f82df5f.tar.zst VIATRA-Generator-4c34e22d23197ca6b03827a24e9339f88f82df5f.zip |
VAMPIRE: integrate local Vampire executeable #32
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend index 76ac727a..fb1bdb59 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend | |||
@@ -53,7 +53,7 @@ class YakinduTest { | |||
53 | // Start Time | 53 | // Start Time |
54 | var startTime = System.currentTimeMillis | 54 | var startTime = System.currentTimeMillis |
55 | 55 | ||
56 | var LogicReasoner reasoner | 56 | var VampireSolver reasoner |
57 | // * | 57 | // * |
58 | reasoner = new VampireSolver | 58 | reasoner = new VampireSolver |
59 | 59 | ||
@@ -85,7 +85,7 @@ class YakinduTest { | |||
85 | it.uniquenessDuplicates = false | 85 | it.uniquenessDuplicates = false |
86 | ] | 86 | ] |
87 | 87 | ||
88 | var LogicResult solution = reasoner.solve(problem, vampireConfig, workspace) | 88 | var LogicResult solution = reasoner.solve(problem, vampireConfig, workspace, "YAK") |
89 | 89 | ||
90 | /*/ | 90 | /*/ |
91 | * | 91 | * |