Rename 05-substrings.c to 08-substrings.c

goblint · Sep 7, 2023 · 5bcac4a · 5bcac4a
1 parent fd76c58
commit 5bcac4a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/73-strings/05-substrings.c → tests/regression/73-strings/08-substrings.c b/tests/regression/73-strings/05-substrings.c → tests/regression/73-strings/08-substrings.c
@@ -29,4 +29,4 @@ void example1() {
     size_t len = strlen(s3);
     __goblint_check(len >= 0);
     __goblint_check(len <= 42);
-}
+}