diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/controlflow/initialization/pos/5.txt b/compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/controlflow/initialization/pos/5.txt
deleted file mode 100644
index 2fe9e532ee9..00000000000
--- a/compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/controlflow/initialization/pos/5.txt
+++ /dev/null
@@ -1,9 +0,0 @@
-package
-
-public fun case_1(): kotlin.Unit
-
-package contracts {
-    public fun case_1(/*0*/ x: kotlin.Double = ..., /*1*/ block: () -> kotlin.Unit): kotlin.Double
-        CallsInPlace(block, EXACTLY_ONCE)
-
-}
diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/controlflow/unreachableCode/pos/7.txt b/compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/controlflow/unreachableCode/pos/7.txt
deleted file mode 100644
index 6e3641081c8..00000000000
--- a/compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/controlflow/unreachableCode/pos/7.txt
+++ /dev/null
@@ -1,9 +0,0 @@
-package
-
-public fun case_1(): kotlin.Unit
-
-package contracts {
-    public fun case_1(/*0*/ x: kotlin.Double = ..., /*1*/ block: () -> kotlin.Unit): kotlin.Double
-        CallsInPlace(block, AT_LEAST_ONCE)
-
-}