Start writing formal specification for APE

This commit is contained in:
Justine Tunney 2024-07-20 10:04:22 -07:00
parent 7996bf67b5
commit 29ce25c767
No known key found for this signature in database
GPG key ID: BE714B4575D6E328
2 changed files with 272 additions and 1 deletions

View file

@ -26,7 +26,7 @@
* pthread_mutex_t lock = PTHREAD_MUTEX_INITIALIZER;
* // ...
* pthread_mutex_lock(&lock);
* pthread_cond_signal(&cond, &lock);
* pthread_cond_signal(&cond);
* pthread_mutex_unlock(&lock);
*
* This function has no effect if there aren't any threads currently