Add information of origin of regression test

This adds information on the origin of the regression test.

Author: TGWDB

regression/goto-cc-goto-analyzer/instrument_preconditions_locations/s2n_hash_inlined.c

@@ -1,7 +1,17 @@
+// This file is highly reduced from some open source projects.
+// The following four lines are adapted from the openssl library
+// Full repository here:
+// Exact file adapted from here: https://github.com/openssl/openssl/tree/master
+// https://github.com/openssl/openssl/blob/master/crypto/evp/evp_local.h
 struct evp_md_ctx_st
 {
   const void *digest;
 };
+// The rest of this file is adapted from, various files in the
+// AWS s2n library. Full repository and licence information is
+// available here: https://github.com/aws/s2n-tls
+// Note that this is a highly cut down synthesis of many files
+// with most of their content and structure reduced.
 struct s2n_evp_digest
 {
   const void *ctx;

regression/goto-cc-goto-analyzer/instrument_preconditions_locations/simple.c

@@ -1,3 +1,5 @@
+// This is highly adapted from the AWS s2n library.
+// Full repository and information here: https://github.com/aws/s2n-tls
 void s2n_hash_free_harness()
 {
 }