Mention snoopy in symbolic-thread-struct example

goblint · Sep 20, 2023 · be1bdf9 · be1bdf9
1 parent 18f1049
commit be1bdf9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/03-practical/39-symbolic-thread-struct.c b/tests/regression/03-practical/39-symbolic-thread-struct.c
@@ -1,5 +1,5 @@
 // Per-thread structs passed via argument.
-// Extracted from concrat/C-Thread-Pool.
+// Extracted from concrat/C-Thread-Pool, concrat/snoopy.
 #include <stdlib.h>
 #include <pthread.h>
 #include <goblint.h>