Add cram test for 02-base/32-single-thr

Author: sim642

tests/regression/02-base/32-single-thr.t

@@ -0,0 +1,11 @@
+  $ goblint --set exp.single-threaded true 32-single-thr.c
+  [Error][Imprecise][Unsound] Function definition missing for no_spawn (32-single-thr.c:12:3-12:15)
+  [Info][Imprecise] INVALIDATING ALL GLOBALS! (32-single-thr.c:12:3-12:15)
+  [Info][Imprecise] Invalidating expressions: & g, (void *)(& f) (32-single-thr.c:12:3-12:15)
+  [Warning][Deadcode] Function 'f' is uncalled: 2 LLoC (32-single-thr.c:6:1-8:1)
+  [Info][Deadcode] Logical lines of code (LLoC) summary:
+    live: 4
+    dead: 2 (2 in uncalled functions)
+    total lines: 6
+  [Error][Unsound] Thread not spawned
+  [Error][Imprecise][Unsound] Function definition missing