From 0d192feaae76a2ab3542c0e470a52cf6bdc0b1bf Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 7 Jun 2024 10:20:43 +0200 Subject: [PATCH] Drop all TestInfo instances from the project --- .../models/modelcheck@tests.mps | 6 ------ .../models/jetbrains.mps.coderules.incrementality@tests.mps | 6 ------ .../models/jetbrains.mps.coderules.scheduling@tests.mps | 6 ------ .../models/jetbrains.mps.coderules.typechecking@tests.mps | 6 ------ .../samples.fitch.demo/models/firstOrderLogic@tests.mps | 6 ------ .../samples.fitch.demo/models/herbrandLogic@tests.mps | 6 ------ .../samples.fitch.demo/models/propositionalLogic@tests.mps | 6 ------ .../models/samples.lambdacalc.demo@tests.mps | 6 ------ .../models/samples.lambdacalc.incremental@tests.mps | 6 ------ ...ins.mps.baseLanguage.closuresExt.test.closures@tests.mps | 6 ------ ....mps.baseLanguage.closuresExt.test.collections@tests.mps | 6 ------ ...ps.baseLanguage.collectionsExt.test.containers@tests.mps | 6 ------ ...s.baseLanguage.collectionsExt.test.incremental@tests.mps | 6 ------ ....mps.baseLanguage.collectionsExt.test.sequence@tests.mps | 6 ------ ...tbrains.mps.baseLanguage.tuplesExt.test.tuples@tests.mps | 6 ------ .../jetbrains.mps.baseLanguageExt.test.features@tests.mps | 6 ------ .../jetbrains.mps.baseLanguageExt.test.generics@tests.mps | 6 ------ ...jetbrains.mps.baseLanguageExt.test.incremental@tests.mps | 6 ------ .../jetbrains.mps.baseLanguageExt.test.staging@tests.mps | 6 ------ .../jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps | 6 ------ .../jetbrains.mps.baseLanguageExt.test.types@tests.mps | 6 ------ .../models/jetbrains.mps.lang.smodelExt.test.code@tests.mps | 6 ------ .../jetbrains.mps.lang.smodelExt.test.types@tests.mps | 6 ------ .../models/bounds@tests.mps | 6 ------ .../models/helloWorld@tests.mps | 6 ------ 25 files changed, 150 deletions(-) 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 b57d7f3c..091e2de1 100644 --- a/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps @@ -50,9 +50,6 @@ - - - @@ -295,9 +292,6 @@ - - - diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps index 583540c0..419b4951 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps @@ -37,9 +37,6 @@ - - - @@ -366,9 +363,6 @@ - - - diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps index f41a992f..6f758088 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.scheduling@tests.mps @@ -25,9 +25,6 @@ - - - @@ -1104,8 +1101,5 @@ - - - diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps index 9f508e6a..c21d4c01 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps @@ -55,9 +55,6 @@ - - - @@ -453,9 +450,6 @@ - - - diff --git a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps index 43057dd6..1fceeb00 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps @@ -15,9 +15,6 @@ - - - @@ -132,9 +129,6 @@ - - - diff --git a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps index d5bdf43c..c2773e31 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps @@ -15,9 +15,6 @@ - - - @@ -233,8 +230,5 @@ - - - diff --git a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps index 7d8d5cdb..dcd08c1e 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps @@ -15,9 +15,6 @@ - - - @@ -607,8 +604,5 @@ - - - diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps index 287c0209..62ccff5f 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps @@ -20,9 +20,6 @@ - - - @@ -246,9 +243,6 @@ - - - diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.incremental@tests.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.incremental@tests.mps index 10d31fcb..5fbfae3c 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.incremental@tests.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.incremental@tests.mps @@ -22,9 +22,6 @@ - - - @@ -315,9 +312,6 @@ - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures@tests.mps index 34281d13..a5fd482b 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures@tests.mps @@ -16,9 +16,6 @@ - - - @@ -350,8 +347,5 @@ - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections@tests.mps index 58195307..ace44731 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections@tests.mps @@ -17,9 +17,6 @@ - - - @@ -315,8 +312,5 @@ - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.containers@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.containers@tests.mps index e117e3d9..f9b931a5 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.containers@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.containers@tests.mps @@ -18,9 +18,6 @@ - - - @@ -146,9 +143,6 @@ - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps index 65858fad..7e13c8fc 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps @@ -24,9 +24,6 @@ - - - @@ -277,9 +274,6 @@ - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence@tests.mps index 74d721c1..67a13d88 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence@tests.mps @@ -15,9 +15,6 @@ - - - @@ -132,9 +129,6 @@ - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/models/jetbrains.mps.baseLanguage.tuplesExt.test.tuples@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/models/jetbrains.mps.baseLanguage.tuplesExt.test.tuples@tests.mps index bfa5a8f5..249790f4 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/models/jetbrains.mps.baseLanguage.tuplesExt.test.tuples@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/models/jetbrains.mps.baseLanguage.tuplesExt.test.tuples@tests.mps @@ -16,9 +16,6 @@ - - - @@ -229,8 +226,5 @@ - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps index 77a2c0f3..4ed58ef7 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps @@ -16,9 +16,6 @@ - - - @@ -155,9 +152,6 @@ - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps index b19504eb..43d8d1fd 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps @@ -17,9 +17,6 @@ - - - @@ -150,9 +147,6 @@ - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps index cb13ec89..0dd38e0e 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps @@ -39,9 +39,6 @@ - - - @@ -2212,9 +2209,6 @@ - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.staging@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.staging@tests.mps index fe0cae64..b05b9941 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.staging@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.staging@tests.mps @@ -17,9 +17,6 @@ - - - @@ -138,9 +135,6 @@ - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps index b4063a49..5e4054c2 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps @@ -21,9 +21,6 @@ - - - @@ -177,9 +174,6 @@ - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps index 34ad357c..b855edc4 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps @@ -45,9 +45,6 @@ - - - @@ -397,9 +394,6 @@ - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code@tests.mps b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code@tests.mps index b784aebd..76d2316c 100644 --- a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code@tests.mps @@ -20,9 +20,6 @@ - - - @@ -137,9 +134,6 @@ - - - diff --git a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.types@tests.mps b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.types@tests.mps index 48e02884..4818e79f 100644 --- a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.types@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.types@tests.mps @@ -30,9 +30,6 @@ - - - @@ -217,9 +214,6 @@ - - - diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps index de65bca8..13c1ca57 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps @@ -20,9 +20,6 @@ - - - @@ -306,8 +303,5 @@ - - - diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps index b93385e6..a23126f8 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps @@ -17,9 +17,6 @@ - - - @@ -150,9 +147,6 @@ - - -