Add test for suppressing thread-unsafe lib fun calls in single-threaded mode #1260

Author: karoliineh

tests/regression/00-sanity/52-thread-unsafe-libfuns-single-thread.c

@@ -0,0 +1,8 @@
+// PARAM: --enable allglobs
+
+#include <stdlib.h>
+
+int main() {
+  rand();
+  return 0;
+}

tests/regression/00-sanity/52-thread-unsafe-libfuns-single-thread.t

@@ -0,0 +1,5 @@
+  $ goblint --enable allglobs 52-thread-unsafe-libfuns-single-thread.c
+  [Info][Deadcode] Logical lines of code (LLoC) summary:
+    live: 3
+    dead: 0
+    total lines: 3