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-10 22:25:07 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-10-10 22:25:07 -0400
commit16f9cd46474a4934c1afd733d687f3c382fbdf56 (patch)
tree465a7cc53a489ae81d80f54d45642d84185d5e43 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend
parentVAMPIRE: Further develop testing fo r Vampire solver (diff)
downloadVIATRA-Generator-16f9cd46474a4934c1afd733d687f3c382fbdf56.tar.gz
VIATRA-Generator-16f9cd46474a4934c1afd733d687f3c382fbdf56.tar.zst
VIATRA-Generator-16f9cd46474a4934c1afd733d687f3c382fbdf56.zip
implement http requests for the TPTP server
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.xtend6
1 files changed, 4 insertions, 2 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 c1eb3382..47eae807 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
@@ -52,8 +52,10 @@ class VampireHandler {
52 52
53 val CMD = "cmd /c " 53 val CMD = "cmd /c "
54 val TEMPNAME = "TEMP.tptp" 54 val TEMPNAME = "TEMP.tptp"
55 val SOLNNAME = "solution" + configuration.solver.toString + "_" + configuration.typeScopes.maxNewElements + 55// val SOLNNAME = "solution" + configuration.solver.toString + "_" + configuration.typeScopes.maxNewElements +
56 "_" + configuration.iteration + ".tptp" 56// "_" + configuration.iteration + ".tptp"
57 val SOLNNAME = "solution" + "_" + configuration.typeScopes.maxNewElements + "_" + configuration.iteration +
58 ".tptp"
57 val PATH = "C:/cygwin64/bin" 59 val PATH = "C:/cygwin64/bin"
58 60
59 val wsURI = workspace.workspaceURI 61 val wsURI = workspace.workspaceURI