diff --git a/share/revng/test/tests/analysis/Decompilation/x86-64/segments-and-sections.c.filecheck b/share/revng/test/tests/analysis/Decompilation/x86-64/segments-and-sections.c.filecheck
deleted file mode 100644
index fe6fde593..000000000
--- a/share/revng/test/tests/analysis/Decompilation/x86-64/segments-and-sections.c.filecheck
+++ /dev/null
@@ -1,15 +0,0 @@
-This file is distributed under the MIT License. See LICENSE.md for details.
-
-The print_string function should use an inline string literal.
-
-CHECK: void print_string(void) {
-CHECK: puts{{[_]?}}({{.*}}"hello world!");
-CHECK: }
-
-The sum_globals function should return the sum of two fields of the segment.
-These fields should be accessed using member access operator to access sections
-(first) and the specific data (TheData), recovered from public symbol names in
-the binary.
-
-CHECK: sum_globals(void)
-CHECK: return segment_[[SEGMENT_INDEX:[0-9]+]].data.TheData.offset_1004 + segment_[[SEGMENT_INDEX]].data.TheData.offset_0
diff --git a/share/revng/test/tests/analysis/Decompilation/x86-64/segments-and-sections.c.model.yml b/share/revng/test/tests/analysis/Decompilation/x86-64/segments-and-sections.c.model.yml
deleted file mode 100644
index 10873c252..000000000
--- a/share/revng/test/tests/analysis/Decompilation/x86-64/segments-and-sections.c.model.yml
+++ /dev/null
@@ -1,53 +0,0 @@
----
-#
-# This file is distributed under the MIT License. See LICENSE.md for details.
-#
-Segments:
-  - IsReadable: true
-    Type:
-      Kind: DefinedType
-      Definition: "/TypeDefinitions/1812-StructDefinition"
-  - IsReadable: true
-    IsWriteable: true
-    Type:
-      Kind: DefinedType
-      Definition: "/TypeDefinitions/1815-StructDefinition"
-TypeDefinitions:
-  - ID: 1812
-    Kind: StructDefinition
-    Fields:
-      - Name: rodata
-        Type:
-          Kind: DefinedType
-          Definition: "/TypeDefinitions/1813-StructDefinition"
-  - ID: 1813
-    Kind: StructDefinition
-    Size: 13
-  - ID: 1815
-    Kind: StructDefinition
-    Fields:
-      - Name: data
-        Type:
-          Kind: DefinedType
-          Definition: "/TypeDefinitions/1816-StructDefinition"
-  - ID: 1816
-    Kind: StructDefinition
-    Fields:
-      - Name: TheData
-        Type:
-          Kind: DefinedType
-          Definition: "/TypeDefinitions/1817-StructDefinition"
-  - ID: 1817
-    Kind: StructDefinition
-    Size: 1008
-    Fields:
-      - Offset: 0
-        Type:
-          Kind: PrimitiveType
-          PrimitiveKind: Generic
-          Size: 4
-      - Offset: 1004
-        Type:
-          Kind: PrimitiveType
-          PrimitiveKind: Generic
-          Size: 4