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 | |
| parent | Ecore gen test (diff) | |
| download | VIATRA-Generator-7141601cdf473cbf349c17477d315ec36f354677.tar.gz VIATRA-Generator-7141601cdf473cbf349c17477d315ec36f354677.tar.zst VIATRA-Generator-7141601cdf473cbf349c17477d315ec36f354677.zip | |
ViatraSolver as default
| -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" }, |