Update 07-larger_example.c

goblint · Aug 9, 2023 · a24546f · a24546f
1 parent f4d74e2
commit a24546f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/tests/regression/73-strings/07-larger_example.c b/tests/regression/73-strings/07-larger_example.c
@@ -15,6 +15,8 @@ int main() {
         strcpy(user, "++++++++"); // WARN
 
     char pwd_gen[20];
+    for (size_t i = 12; i < 20; i++)
+        pwd_gen[i] = (char) (rand() % 123);
 
     char* p1 = "hello";
     char* p2 = "12345";
@@ -33,4 +35,4 @@ int main() {
     __goblint_check(pwd_len == 9);
 
     return 0;
-}
+}