diff options
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 |