diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java index 73c413b3..d02174f7 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/VampireTest.java | |||
@@ -63,7 +63,7 @@ public class VampireTest { | |||
63 | final URI logicURI = URI.createFileURI("output/files/logProb.logicproblem"); | 63 | final URI logicURI = URI.createFileURI("output/files/logProb.logicproblem"); |
64 | final Resource logRes = rs.createResource(logicURI); | 64 | final Resource logRes = rs.createResource(logicURI); |
65 | LogicProblem problem = VampireTest.builder.createProblem(); | 65 | LogicProblem problem = VampireTest.builder.createProblem(); |
66 | VampireTest.deMorgan(problem); | 66 | VampireTest.rockPaperScisors(problem); |
67 | logRes.getContents().add(problem); | 67 | logRes.getContents().add(problem); |
68 | logRes.save(Collections.EMPTY_MAP); | 68 | logRes.save(Collections.EMPTY_MAP); |
69 | InputOutput.<String>println("Problem Created"); | 69 | InputOutput.<String>println("Problem Created"); |