From 6b70878a56052e1c254ba8c66485f217d22db3f8 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 28 Aug 2019 05:56:34 -0400 Subject: VAMPIRE: integrate local Vampire executeable #32 --- .../src/ca/mcgill/ecse/dslreasoner/vampire/icse/EcoreTest.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/EcoreTest.xtend') diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/EcoreTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/EcoreTest.xtend index 35b76350..70ded02d 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/EcoreTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/EcoreTest.xtend @@ -50,7 +50,7 @@ class EcoreTest { it.documentationLevel = DocumentationLevel::FULL ] - solution = reasoner.solve(logicProblem, vampireConfig, workspace) + solution = reasoner.solve(logicProblem, vampireConfig, workspace, "ECO") println("Problem solved") -- cgit v1.2.3-70-g09d2