diff options
author | 2019-02-01 16:03:30 -0500 | |
---|---|---|
committer | 2019-02-01 16:03:30 -0500 | |
commit | 717916e99b2c8e7965fb31f4448b4336d8c2f19a (patch) | |
tree | 074c77b8465f1e47e7a28af2d95f79c1f5abaf86 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/MedicalSystem.java | |
parent | FAM MM transformation works (diff) | |
download | VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.tar.gz VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.tar.zst VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.zip |
Fix FAM Test. Begin Grammar Fix.
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/MedicalSystem.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/MedicalSystem.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/MedicalSystem.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/MedicalSystem.java index d4f53d65..ece0a9bb 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/MedicalSystem.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/MedicalSystem.java | |||
@@ -29,7 +29,7 @@ public class MedicalSystem { | |||
29 | try { | 29 | try { |
30 | MedicalSystem.init(); | 30 | MedicalSystem.init(); |
31 | StringConcatenation _builder = new StringConcatenation(); | 31 | StringConcatenation _builder = new StringConcatenation(); |
32 | _builder.append("outputModels/"); | 32 | _builder.append("output/MedicalSystem/"); |
33 | final FileSystemWorkspace workspace = new FileSystemWorkspace(_builder.toString(), ""); | 33 | final FileSystemWorkspace workspace = new FileSystemWorkspace(_builder.toString(), ""); |
34 | workspace.initAndClear(); | 34 | workspace.initAndClear(); |
35 | final LogicProblem root = MedicalSystem.load(); | 35 | final LogicProblem root = MedicalSystem.load(); |
@@ -40,7 +40,7 @@ public class MedicalSystem { | |||
40 | reasoner = _vampireSolver; | 40 | reasoner = _vampireSolver; |
41 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 41 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |
42 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | 42 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { |
43 | it.writeToFile = false; | 43 | it.writeToFile = true; |
44 | }; | 44 | }; |
45 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); | 45 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); |
46 | solution = reasoner.solve(root, vampireConfig, workspace); | 46 | solution = reasoner.solve(root, vampireConfig, workspace); |