comment fixes

Author: Strophox

src/tools/miri/tests/native-lib/ptr_read_access.c

@@ -1,12 +1,12 @@
 #include <stdio.h>
 
-/* Test: `test_pointer` */
+/* Test: test_pointer */
 
 void print_pointer(const int *ptr) {
   printf("printing pointer dereference from C: %d\n", *ptr);
 }
 
-/* Test: `test_simple` */
+/* Test: test_simple */
 
 typedef struct Simple {
   int field;
@@ -16,16 +16,16 @@ int access_simple(const Simple *s_ptr) {
   return s_ptr->field;
 }
 
-/* Test: `test_nested` */
+/* Test: test_nested */
 
 typedef struct Nested {
   int value;
   struct Nested *next;
 } Nested;
 
-// Returns the innermost/last `value` of a `Nested` pointer chain.
+// Returns the innermost/last value of a Nested pointer chain.
 int access_nested(const Nested *n_ptr) {
-  // Edge case: `n_ptr == NULL`, first `Nested` is None).
+  // Edge case: `n_ptr == NULL` (i.e. first Nested is None).
   if (!n_ptr) { return 0; }
 
   while (n_ptr->next) {
@@ -35,7 +35,7 @@ int access_nested(const Nested *n_ptr) {
   return n_ptr->value;
 }
 
-/* Test: `test_static */
+/* Test: test_static */
 
 typedef struct Static {
     int value;