diff --git a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps index 63f6d699..41d03278 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps @@ -97,6 +97,7 @@ + @@ -132,9 +133,7 @@ - - - + @@ -652,12 +651,14 @@ - - - - - - + + + + + + + + @@ -903,9 +904,11 @@ - + - + + + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps index 84729b1e..502b8b41 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps @@ -209,6 +209,9 @@ + + + @@ -374,44 +377,81 @@ - + - + - - - - - - - + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + - + - + + + + + + - + - + + + + + + + + + + + + + + @@ -420,8 +460,18 @@ - - + + + + + + + + + + + + @@ -448,6 +498,12 @@ + + + + + + @@ -484,11 +540,15 @@ - - + + + + - - + + + + @@ -714,7 +774,7 @@ - + @@ -932,7 +992,7 @@ - + @@ -990,6 +1050,13 @@ + + + + + + + @@ -1684,7 +1751,7 @@ - + @@ -1696,7 +1763,7 @@ - + @@ -1707,7 +1774,7 @@ - + @@ -1729,7 +1796,7 @@ - + @@ -1744,7 +1811,7 @@ - + @@ -1755,7 +1822,7 @@ - + @@ -1816,14 +1883,14 @@ - + - + @@ -1837,7 +1904,7 @@ - + @@ -1849,7 +1916,7 @@ - + @@ -1871,7 +1938,7 @@ - + @@ -1886,14 +1953,14 @@ - + - + @@ -1904,7 +1971,7 @@ - +