diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java index 0c8b0013..a1f19410 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java | |||
@@ -25,7 +25,7 @@ public class VampireHandler { | |||
25 | final String VAMPNAME = "vampire.exe"; | 25 | final String VAMPNAME = "vampire.exe"; |
26 | final String TEMPNAME = "TEMP.tptp"; | 26 | final String TEMPNAME = "TEMP.tptp"; |
27 | final String OPTION = " --mode casc_sat -t 300 "; | 27 | final String OPTION = " --mode casc_sat -t 300 "; |
28 | final String SOLNNAME = (("_solution" + Integer.valueOf(configuration.typeScopes.maxNewElements)) + ".tptp"); | 28 | final String SOLNNAME = (((("solution" + Integer.valueOf(configuration.typeScopes.maxNewElements)) + "_") + Integer.valueOf(configuration.iteration)) + ".tptp"); |
29 | final String PATH = "C:/cygwin64/bin"; | 29 | final String PATH = "C:/cygwin64/bin"; |
30 | final URI wsURI = workspace.getWorkspaceURI(); | 30 | final URI wsURI = workspace.getWorkspaceURI(); |
31 | final String tempLoc = (wsURI + TEMPNAME); | 31 | final String tempLoc = (wsURI + TEMPNAME); |