Rename test cases to avoid duplicate test case ids.

goblint · Nov 20, 2023 · 870b20d · 870b20d
1 parent 97c3457
commit 870b20d
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 0 deletions.
diff --git a/...ession/39-signed-overflows/06-shiftleft.c → ...ession/39-signed-overflows/08-shiftleft.c b/...ession/39-signed-overflows/06-shiftleft.c → ...ession/39-signed-overflows/08-shiftleft.c
diff --git a/...egression/76-memleak/08-unreachable-mem.c → ...egression/76-memleak/15-unreachable-mem.c b/...egression/76-memleak/08-unreachable-mem.c → ...egression/76-memleak/15-unreachable-mem.c
diff --git a/...6-memleak/09-unreachable-with-local-var.c → ...6-memleak/16-unreachable-with-local-var.c b/...6-memleak/09-unreachable-with-local-var.c → ...6-memleak/16-unreachable-with-local-var.c
diff --git a/tests/regression/76-memleak/10-leak-later.c → tests/regression/76-memleak/17-leak-later.c b/tests/regression/76-memleak/10-leak-later.c → tests/regression/76-memleak/17-leak-later.c
diff --git a/...ression/76-memleak/11-leak-later-nested.c → ...ression/76-memleak/18-leak-later-nested.c b/...ression/76-memleak/11-leak-later-nested.c → ...ression/76-memleak/18-leak-later-nested.c
diff --git a/...ion/76-memleak/12-multi-threaded-assert.c → ...ion/76-memleak/19-multi-threaded-assert.c b/...ion/76-memleak/12-multi-threaded-assert.c → ...ion/76-memleak/19-multi-threaded-assert.c
diff --git a/...k/13-global-nested-struct-ptr-reachable.c → ...k/20-global-nested-struct-ptr-reachable.c b/...k/13-global-nested-struct-ptr-reachable.c → ...k/20-global-nested-struct-ptr-reachable.c