Fix comments

Author: Patrick-6

src/concurrency/genmc/intercept.rs

@@ -158,7 +158,7 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {
             "GenMC: Mutex::try_lock(): is_reset: {}, is_lock_acquired: {}",
             result.is_reset, result.is_lock_acquired
         );
-        assert!(!result.is_reset, "GenMC returned 'reset' for a mutex lock multiple times.");
+        assert!(!result.is_reset, "GenMC returned 'reset' for a mutex try_lock.");
         // Write the return value of try_lock, i.e., whether we acquired the mutex.
         this.write_scalar(Scalar::from_bool(result.is_lock_acquired), dest)?;
         // NOTE: We don't write anything back to Miri's memory where the Mutex is located, that state is handled only by GenMC.

src/concurrency/genmc/mod.rs

@@ -201,7 +201,7 @@ impl GenmcCtx {
         self.exec_state.allow_data_races.get()
     }
 
-    /// Get the id of the currently active thread mapped to it's thread ID for GenMC.
+    /// Get the GenMC id of the currently active thread.
     #[must_use]
     fn active_thread_genmc_tid<'tcx>(&self, machine: &MiriMachine<'tcx>) -> i32 {
         let thread_infos = self.exec_state.thread_id_manager.borrow();