Add test 03-practical/39-signal-arg

Author: sim642

tests/regression/03-practical/39-signal-arg.c

@@ -0,0 +1,11 @@
+#include <signal.h>
+#include <goblint.h>
+
+void handler(int sig) {
+  __goblint_check(sig == SIGTERM);
+}
+
+int main() {
+  signal(SIGTERM, handler);
+  return 0;
+}