aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-10-08 03:00:08 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-10-08 03:00:08 -0400
commitf63a94c06268b5233264436cc538062f1f7b01bc (patch)
treecbdc3dcdb34ecbeaba24991c36c34205df79e32e /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend
parentVAMPIRE: Implement Vampire measurement code (diff)
downloadVIATRA-Generator-f63a94c06268b5233264436cc538062f1f7b01bc.tar.gz
VIATRA-Generator-f63a94c06268b5233264436cc538062f1f7b01bc.tar.zst
VIATRA-Generator-f63a94c06268b5233264436cc538062f1f7b01bc.zip
VAMPIRE: fix bug in transformation, further implement measurement code
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend2
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend
index 74532ee5..c5cfb1c7 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend
@@ -44,7 +44,7 @@ class VampireHandler {
44 val VAMPNAME = "vampire.exe" 44 val VAMPNAME = "vampire.exe"
45 val TEMPNAME = "TEMP.tptp" 45 val TEMPNAME = "TEMP.tptp"
46 val OPTION = " --mode casc_sat -t 300 " 46 val OPTION = " --mode casc_sat -t 300 "
47 val SOLNNAME = "_solution" + configuration.typeScopes.maxNewElements + ".tptp" 47 val SOLNNAME = "solution" + configuration.typeScopes.maxNewElements +"_" + configuration.iteration + ".tptp"
48 val PATH = "C:/cygwin64/bin" 48 val PATH = "C:/cygwin64/bin"
49 49
50 val wsURI = workspace.workspaceURI 50 val wsURI = workspace.workspaceURI