Add comment on origin to test

Author: michael-schwarz

tests/incremental/11-restart/12-mutex-simple-access.c

@@ -1,3 +1,4 @@
+// Same as 13-restart-write/01-mutex-simple
 #include <pthread.h>
 #include <stdio.h>
 

tests/incremental/11-restart/12-mutex-simple-access.patch

@@ -1,6 +1,6 @@
 --- tests/incremental/11-restart/12-mutex-simple-access.c
 +++ tests/incremental/11-restart/12-mutex-simple-access.c
-@@ -7,7 +7,7 @@ pthread_mutex_t mutex2 = PTHREAD_MUTEX_INITIALIZER;
+@@ -8,7 +8,7 @@ pthread_mutex_t mutex2 = PTHREAD_MUTEX_INITIALIZER;
 
  void *t_fun(void *arg) {
    pthread_mutex_lock(&mutex1);
@@ -9,7 +9,7 @@
    pthread_mutex_unlock(&mutex1);
    return NULL;
  }
-@@ -15,9 +15,9 @@ void *t_fun(void *arg) {
+@@ -16,9 +16,9 @@ void *t_fun(void *arg) {
  int main(void) {
    pthread_t id;
    pthread_create(&id, NULL, t_fun, NULL);