Update banners for gdb api files

danpoe · danpoe · commit 0b9480bb4053 · 2019-03-19T13:42:01.000Z
diff --git a/src/memory-analyzer/gdb_api.cpp b/src/memory-analyzer/gdb_api.cpp
@@ -1,4 +1,12 @@
-// Copyright 2018 Author: Malte Mues <mail.mues@gmail.com>
+/*******************************************************************\
+
+Module: GDB Machine Interface API
+
+Author: Malte Mues <mail.mues@gmail.com>
+        Daniel Poetzl
+
+\*******************************************************************/
+
 #ifdef __linux__
 #include <cctype>
 #include <cerrno>
diff --git a/src/memory-analyzer/gdb_api.h b/src/memory-analyzer/gdb_api.h
@@ -1,4 +1,12 @@
-// Copyright 2018 Author: Malte Mues
+/*******************************************************************\
+
+Module: GDB Machine Interface API
+
+Author: Malte Mues <mail.mues@gmail.com>
+        Daniel Poetzl
+
+\*******************************************************************/
+
 #ifdef __linux__
 #ifndef CPROVER_MEMORY_ANALYZER_GDB_API_H
 #define CPROVER_MEMORY_ANALYZER_GDB_API_H
diff --git a/unit/memory-analyzer/gdb_api.cpp b/unit/memory-analyzer/gdb_api.cpp
@@ -1,5 +1,13 @@
-// Copyright 2018 Malte Mues
-#include <testing-utils/catch.hpp>
+/*******************************************************************\
+
+Module: GDB Machine Interface API unit tests
+
+Author: Malte Mues <mail.mues@gmail.com>
+        Daniel Poetzl
+
+\*******************************************************************/
+
+#include <testing-utils/use_catch.h>
 
 #ifdef __linux__
 //  \file Test that the regex expression used work as expected.
