diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-08 03:00:08 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-08 03:00:08 -0400 |
| commit | f63a94c06268b5233264436cc538062f1f7b01bc (patch) | |
| tree | cbdc3dcdb34ecbeaba24991c36c34205df79e32e /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.java | |
| parent | VAMPIRE: Implement Vampire measurement code (diff) | |
| download | VIATRA-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/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); |