C++ (Cpp) __cs_mutex_unlock Exemples

Exemple #1

Fichier : _cs_peterson_true-unreach-call.c Projet : chinuhub/ProofTraPar

int __cs_cond_wait(__cs_cond_t *cond, __cs_mutex_t *mutex) { __cs_mutex_unlock(mutex); assume(*cond != -1); __cs_mutex_lock(mutex); return 0; }

Exemple #2

Fichier : _cs_safe014_power.opt_false-unreach-call.c Projet : heryxpc/prototype

 int __cs_cond_wait_1(__cs_cond_t *__cs_cond_to_wait_for, __cs_mutex_t *__cs_m)
 {
 __CPROVER_assert((*__cs_cond_to_wait_for) != 0, "attempt to use an uninitialized conditional variable");
 __CPROVER_assert((*__cs_cond_to_wait_for) != (-2), "attempt to use a destroyed conditional variable");
 __cs_mutex_unlock(__cs_m);
 }