diff --git a/build.xml b/build.xml index 574a6a49..7de1e8bc 100644 --- a/build.xml +++ b/build.xml @@ -362,9 +362,6 @@ - - - @@ -2073,9 +2070,6 @@ - - - @@ -4272,9 +4266,6 @@ - - - @@ -4860,9 +4851,6 @@ - - - diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps index ad808412..50cb5035 100644 --- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps +++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps @@ -753,28 +753,6 @@ - - - - - - - - - - - - - - - - - - - - - - @@ -805,50 +783,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3239,23 +3173,6 @@ - - - - - - - - - - - - - - - - - diff --git a/coderules/solutions/jetbrains.mps.logic.test/build.gradle b/coderules/solutions/jetbrains.mps.logic.test/build.gradle index 9966fcf5..8a05dd63 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/build.gradle +++ b/coderules/solutions/jetbrains.mps.logic.test/build.gradle @@ -3,9 +3,6 @@ configurations { } dependencies { - logicTest 'org.objenesis:objenesis:2.1@jar' - logicTest 'org.mockito:mockito-core:2.24.0@jar' - logicTest 'net.bytebuddy:byte-buddy:1.10.17@jar' } task copyDependencies (type: Copy) { diff --git a/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd b/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd index a59c645a..046a2344 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd +++ b/coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd @@ -4,9 +4,7 @@ - - - + @@ -14,11 +12,6 @@ - - - - - a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps index bb94bb4c..7e6f0fef 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps @@ -7,29 +7,61 @@ + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -37,27 +69,38 @@ + + + + + - - - - + + + + + + + + + + + + - - - + @@ -68,7 +111,9 @@ + + @@ -77,21 +122,29 @@ - + + + + + + + + + @@ -100,6 +153,10 @@ + + + + @@ -113,8 +170,10 @@ + + @@ -127,6 +186,8 @@ + + @@ -135,9 +196,26 @@ + + + + + + + + + + + + + + + + + @@ -189,13 +267,6 @@ - - - - - - - @@ -206,6 +277,12 @@ + + + + + + @@ -213,341 +290,17 @@ + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -570,42 +323,43 @@ - - + + - - - - - + + + - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - - - @@ -627,30 +381,14 @@ - - - - - - - - - + + + + + - - - - - - - - - - - - - - + + @@ -676,24 +414,6 @@ - - - - - - - - - - - - - - - - - - @@ -747,71 +467,75 @@ - - + + - - + + - - - - - + + + - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - - - @@ -820,8 +544,8 @@ - - + + @@ -834,69 +558,13 @@ - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -923,24 +591,6 @@ - - - - - - - - - - - - - - - - - - @@ -1044,109 +694,173 @@ - - - + + - - + + - - - - - + + + - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + @@ -1158,161 +872,14 @@ - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -1348,55 +915,56 @@ - - + + - - + + - - - - - + + + - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - - - - + - - + + @@ -1409,49 +977,13 @@ - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -1478,24 +1010,6 @@ - - - - - - - - - - - - - - - - - - @@ -1687,160 +1201,259 @@ - - - + + - - + + - - - - - + + + - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + @@ -1853,154 +1466,13 @@ - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -2153,122 +1625,337 @@ - - + + - - + + - - - - - + + + - - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - - - + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2279,8 +1966,8 @@ - - + + @@ -2293,306 +1980,13 @@ - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -5854,5 +5248,1176 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +