diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-11-07 17:40:44 +0100 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-11-07 17:40:44 +0100 |
commit | 7141601cdf473cbf349c17477d315ec36f354677 (patch) | |
tree | 4bc0671f5f381b6b928f0549ea5407b95ab67785 /Tests | |
parent | Ecore gen test (diff) | |
download | VIATRA-Generator-7141601cdf473cbf349c17477d315ec36f354677.tar.gz VIATRA-Generator-7141601cdf473cbf349c17477d315ec36f354677.tar.zst VIATRA-Generator-7141601cdf473cbf349c17477d315ec36f354677.zip |
ViatraSolver as default
Diffstat (limited to 'Tests')
-rw-r--r-- | Tests/Ecore-Plugin/EcoreGeneration.vsconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tests/Ecore-Plugin/EcoreGeneration.vsconfig b/Tests/Ecore-Plugin/EcoreGeneration.vsconfig index 2ae1da99..fe863541 100644 --- a/Tests/Ecore-Plugin/EcoreGeneration.vsconfig +++ b/Tests/Ecore-Plugin/EcoreGeneration.vsconfig | |||
@@ -11,7 +11,7 @@ generate { | |||
11 | metamodel = allSupported | 11 | metamodel = allSupported |
12 | //constraints = { ... } | 12 | //constraints = { ... } |
13 | partial-model = { "platform:/resource/Ecore-Plugin/InitialPackage.ecore" } | 13 | partial-model = { "platform:/resource/Ecore-Plugin/InitialPackage.ecore" } |
14 | solver = AlloySolver | 14 | solver = ViatraSolver |
15 | scope = { | 15 | scope = { |
16 | #node += 5, | 16 | #node += 5, |
17 | #string += { "A", "B" }, | 17 | #string += { "A", "B" }, |