Skip to content

Commit 57efbed

Browse files
committed
Revert "Temporarily add test cases for merging debug data from SMG"
This reverts commit aef4ba4.
1 parent aef4ba4 commit 57efbed

File tree

4 files changed

+28
-61
lines changed

4 files changed

+28
-61
lines changed

klever/cli/descs/linux/testing/common models/desc.json

Lines changed: 28 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,34 @@
44
"name": "Linux",
55
"external modules": "tests",
66
"loadable kernel modules": [
7-
"ext-modules/linux/mm/vmalloc-memory-safety/test1.ko",
8-
"ext-modules/linux/mm/vmalloc-memory-safety/test2.ko"
7+
"ext-modules/linux/arch/asm/current",
8+
"ext-modules/linux/drivers/base/dd",
9+
"ext-modules/linux/drivers/base/devres",
10+
"ext-modules/linux/drivers/base/devres-memory-safety",
11+
"ext-modules/linux/drivers/base/firmware_loader",
12+
"ext-modules/linux/drivers/i2c/i2c-core-smbus",
13+
"ext-modules/linux/drivers/media/v4l2-core/v4l2-i2c",
14+
"ext-modules/linux/drivers/spi",
15+
"ext-modules/linux/drivers/video/fbdev/core/fbsys",
16+
"ext-modules/linux/err",
17+
"ext-modules/linux/ldv/common",
18+
"ext-modules/linux/lib/bitmap",
19+
"ext-modules/linux/lib/string",
20+
"ext-modules/linux/mm/gfp",
21+
"ext-modules/linux/mm/slab",
22+
"ext-modules/linux/mm/slab-memory-safety",
23+
"ext-modules/linux/mm/util",
24+
"ext-modules/linux/mm/vmalloc",
25+
"ext-modules/linux/mm/vmalloc-memory-safety",
26+
"ext-modules/verifier/common",
27+
"ext-modules/verifier/gcc",
28+
"ext-modules/verifier/map",
29+
"ext-modules/verifier/memory",
30+
"ext-modules/verifier/nondet",
31+
"ext-modules/verifier/set/counter",
32+
"ext-modules/verifier/set/flag",
33+
"ext-modules/verifier/set/nonnegative-counter",
34+
"ext-modules/verifier/thread"
935
]
1036
}
1137
]

klever/cli/descs/linux/testing/common models/tests/linux/mm/vmalloc-memory-safety/alloc.h

Lines changed: 0 additions & 19 deletions
This file was deleted.

klever/cli/descs/linux/testing/common models/tests/linux/mm/vmalloc-memory-safety/test1.c

Lines changed: 0 additions & 21 deletions
This file was deleted.

klever/cli/descs/linux/testing/common models/tests/linux/mm/vmalloc-memory-safety/test2.c

Lines changed: 0 additions & 19 deletions
This file was deleted.

0 commit comments

Comments
 (0)