From 4d8fdbc05c280b965e0b5bb11a7bbe329633f5ee Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Sun, 24 Nov 2019 07:51:31 -0500 Subject: VAMPIRE: Further Post-submission updates --- .../src/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.xtend | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner') 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 import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace import org.eclipse.emf.ecore.resource.Resource import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl +import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasoner +import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasonerConfiguration class VampireTest { @@ -53,13 +55,13 @@ class VampireTest { //problem.add(Assertion( Y && X <=> X) ) - println("Problem Created"); + println("Problem Created") var LogicResult solution var LogicReasoner reasoner - reasoner = new VampireSolver - val vampireConfig = new VampireSolverConfiguration => [ + reasoner = new ViatraReasoner + val vampireConfig = new ViatraReasonerConfiguration => [ //add configuration things, in config file first it.documentationLevel = DocumentationLevel::FULL it.typeScopes.minNewElements = 4 -- cgit v1.2.3-54-g00ecf