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 {
        metamodel = allSupported
        //constraints = { ...  }
        partial-model = { "platform:/resource/Ecore-Plugin/InitialPackage.ecore" }
-        solver = AlloySolver
+        solver = ViatraSolver
        scope = {
                #node += 5,
                #string += { "A", "B" },

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" },