From 57e614aabedc176ba9965d0ca5e6daa23c5f4758 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Fri, 1 Feb 2019 16:03:30 -0500 Subject: Fix FAM Test. Begin Grammar Fix. --- .../src/ca/mcgill/ecse/dslreasoner/vampire/test/MedicalSystem.xtend | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/MedicalSystem.xtend') diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/MedicalSystem.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/MedicalSystem.xtend index ccc17617..15f9e1fe 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/MedicalSystem.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/MedicalSystem.xtend @@ -22,11 +22,12 @@ import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl class MedicalSystem { def static void main(String[] args) { init() - val workspace = new FileSystemWorkspace('''outputModels/''',"") + val workspace = new FileSystemWorkspace('''output/MedicalSystem/''',"") workspace.initAndClear val root = load() println("Problem Loaded") + // val rs = new ResourceSetImpl // val logRes = rs.createResource(URI.createFileURI("vampireMidel.tptp")) // @@ -40,7 +41,7 @@ class MedicalSystem { reasoner = new VampireSolver val vampireConfig = new VampireSolverConfiguration => [ //add configuration things, in config file first - it.writeToFile = false + it.writeToFile = true ] solution = reasoner.solve(root, vampireConfig, workspace) -- cgit v1.2.3-54-g00ecf