Fix < vs <= error

Author: Patrick-6

src/concurrency/genmc/intercept.rs

@@ -30,8 +30,8 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {
 
         let size = mutex.layout.size.bytes();
         assert!(
-            size < MAX_ACCESS_SIZE,
-            "Mutex is larger than maximal size of a memory access supported by GenMC ({size} >= {MAX_ACCESS_SIZE})"
+            size <= MAX_ACCESS_SIZE,
+            "Mutex is larger than maximal size of a memory access supported by GenMC ({size} > {MAX_ACCESS_SIZE})"
         );
         let result = genmc_ctx.handle.borrow_mut().pin_mut().handle_mutex_lock(
             genmc_ctx.active_thread_genmc_tid(&this.machine),
@@ -100,8 +100,8 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {
         let genmc_ctx = this.machine.data_race.as_genmc_ref().unwrap();
         let size = mutex.layout.size.bytes();
         assert!(
-            size < MAX_ACCESS_SIZE,
-            "Mutex is larger than maximal size of a memory access supported by GenMC ({size} >= {MAX_ACCESS_SIZE})"
+            size <= MAX_ACCESS_SIZE,
+            "Mutex is larger than maximal size of a memory access supported by GenMC ({size} > {MAX_ACCESS_SIZE})"
         );
         let result = genmc_ctx.handle.borrow_mut().pin_mut().handle_mutex_try_lock(
             genmc_ctx.active_thread_genmc_tid(&this.machine),