diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend index 3c6a65ca..5143641b 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | |||
@@ -86,16 +86,16 @@ class FAMTest { | |||
86 | classMapMax.put(FunctionalOutput, 4) | 86 | classMapMax.put(FunctionalOutput, 4) |
87 | 87 | ||
88 | val typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.trace) | 88 | val typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.trace) |
89 | 89 | ||
90 | // Define Config File | 90 | // Define Config File |
91 | val vampireConfig = new VampireSolverConfiguration => [ | 91 | val vampireConfig = new VampireSolverConfiguration => [ |
92 | // add configuration things, in config file first | 92 | // add configuration things, in config file first |
93 | it.documentationLevel = DocumentationLevel::FULL | 93 | it.documentationLevel = DocumentationLevel::FULL |
94 | 94 | ||
95 | it.typeScopes.minNewElements = 4//24 | 95 | it.typeScopes.minNewElements = 8//24 |
96 | it.typeScopes.maxNewElements = 5//25 | 96 | it.typeScopes.maxNewElements = 10//25 |
97 | if(typeMapMin.size != 0) it.typeScopes.minNewElementsByType = typeMapMin | 97 | if(typeMapMin.size != 0) it.typeScopes.minNewElementsByType = typeMapMin |
98 | // if(typeMapMin.size != 0) it.typeScopes.maxNewElementsByType = typeMapMax | 98 | // if(typeMapMax.size != 0) it.typeScopes.maxNewElementsByType = typeMapMax |
99 | it.contCycleLevel = 5 | 99 | it.contCycleLevel = 5 |
100 | it.uniquenessDuplicates = false | 100 | it.uniquenessDuplicates = false |
101 | ] | 101 | ] |