diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-11-24 07:51:31 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:43:57 -0400 |
commit | 7d44e20d1a2085a9fa686580a96f4f37214b3875 (patch) | |
tree | 3a6a4240ee5ce928c51ad6afa99e8e03e8bb3162 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.xtend | |
parent | VAMPIRE: post-submission push (diff) | |
download | VIATRA-Generator-7d44e20d1a2085a9fa686580a96f4f37214b3875.tar.gz VIATRA-Generator-7d44e20d1a2085a9fa686580a96f4f37214b3875.tar.zst VIATRA-Generator-7d44e20d1a2085a9fa686580a96f4f37214b3875.zip |
VAMPIRE: Further Post-submission updates
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.xtend')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.xtend | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.xtend index bbb14f1f..aa7ce6a6 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.xtend | |||
@@ -14,6 +14,8 @@ import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2Lo | |||
14 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace | 14 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace |
15 | import org.eclipse.emf.ecore.resource.Resource | 15 | import org.eclipse.emf.ecore.resource.Resource |
16 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl | 16 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl |
17 | import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasoner | ||
18 | import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasonerConfiguration | ||
17 | 19 | ||
18 | class VampireTest { | 20 | class VampireTest { |
19 | 21 | ||
@@ -53,13 +55,13 @@ class VampireTest { | |||
53 | 55 | ||
54 | //problem.add(Assertion( Y && X <=> X) ) | 56 | //problem.add(Assertion( Y && X <=> X) ) |
55 | 57 | ||
56 | println("Problem Created"); | 58 | println("Problem Created") |
57 | 59 | ||
58 | var LogicResult solution | 60 | var LogicResult solution |
59 | var LogicReasoner reasoner | 61 | var LogicReasoner reasoner |
60 | 62 | ||
61 | reasoner = new VampireSolver | 63 | reasoner = new ViatraReasoner |
62 | val vampireConfig = new VampireSolverConfiguration => [ | 64 | val vampireConfig = new ViatraReasonerConfiguration => [ |
63 | //add configuration things, in config file first | 65 | //add configuration things, in config file first |
64 | it.documentationLevel = DocumentationLevel::FULL | 66 | it.documentationLevel = DocumentationLevel::FULL |
65 | it.typeScopes.minNewElements = 4 | 67 | it.typeScopes.minNewElements = 4 |