diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-09-11 15:34:03 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-09-11 15:34:03 -0400 |
commit | ce5aafc07151275363735013c261cacf3d7b6431 (patch) | |
tree | 96e13919940dba3d2cb5b81000579a5613615a73 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca | |
parent | VAMPIRE: Implement wf constraint handling (diff) | |
download | VIATRA-Generator-ce5aafc07151275363735013c261cacf3d7b6431.tar.gz VIATRA-Generator-ce5aafc07151275363735013c261cacf3d7b6431.tar.zst VIATRA-Generator-ce5aafc07151275363735013c261cacf3d7b6431.zip |
VAMPIRE: fix model generation
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca')
-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 | ] |