diff options
author | 2019-02-01 16:03:30 -0500 | |
---|---|---|
committer | 2020-06-07 19:06:28 -0400 | |
commit | 57e614aabedc176ba9965d0ca5e6daa23c5f4758 (patch) | |
tree | 16806454dff463419af99b14f6abfab3d1fa5291 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/SimpleRun.xtend | |
parent | FAM MM transformation works (diff) | |
download | VIATRA-Generator-57e614aabedc176ba9965d0ca5e6daa23c5f4758.tar.gz VIATRA-Generator-57e614aabedc176ba9965d0ca5e6daa23c5f4758.tar.zst VIATRA-Generator-57e614aabedc176ba9965d0ca5e6daa23c5f4758.zip |
Fix FAM Test. Begin Grammar Fix.
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/SimpleRun.xtend')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/SimpleRun.xtend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/SimpleRun.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/SimpleRun.xtend index 9d2235f0..f99f0a40 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/SimpleRun.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/test/SimpleRun.xtend | |||
@@ -66,7 +66,7 @@ | |||
66 | // println("Problem created") | 66 | // println("Problem created") |
67 | // var LogicResult solution | 67 | // var LogicResult solution |
68 | // var LogicReasoner reasoner | 68 | // var LogicReasoner reasoner |
69 | // //* | 69 | // /* |
70 | // reasoner = new ViatraReasoner | 70 | // reasoner = new ViatraReasoner |
71 | // val viatraConfig = new ViatraReasonerConfiguration => [ | 71 | // val viatraConfig = new ViatraReasonerConfiguration => [ |
72 | // it.typeScopes.maxNewElements = 40 | 72 | // it.typeScopes.maxNewElements = 40 |