Skip to content

Conversation

@gc00
Copy link
Collaborator

@gc00 gc00 commented Dec 25, 2025

First commit: Add test: /mutex-lock-unlock-two-owners.cpp

Second commit: Add MCMutex::owner; check error: lock/unlock

  • Check for recursive pthread_mutex_lock by same owner thread
  • Check for pthread_mutex_unlock by different thread from mutex owner
  • And tests converted to do setNextTransition before fail, to correctly display "PENDING TRANSITIONS".

@gc00 gc00 added the type: enhancement The issue specifies a feature that should be added to the project label Dec 25, 2025
@gc00 gc00 force-pushed the add-mutex-owner-tests branch from 19ca729 to fa7bbb0 Compare December 25, 2025 03:09
gc00 added 2 commits December 24, 2025 22:28
 * Check for recursive pthread_mutex_lock by same owner thread
 * Check for pthread_mutex_unlock by different thread from mutex owner

 * And tests converted to do setNextTransition before fail,
   to correctly display "PENDING TRANSITIONS".
@gc00 gc00 force-pushed the add-mutex-owner-tests branch from fa7bbb0 to 8d3ecf5 Compare December 25, 2025 03:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement The issue specifies a feature that should be added to the project

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants