Modify example.c

goblint · Oct 31, 2024 · c22203a · c22203a
1 parent 60be1db
commit c22203a
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/adb_examples/debt-24-demo/paper-example/example.c b/adb_examples/debt-24-demo/paper-example/example.c
@@ -11,15 +11,14 @@ int f(ThreadAction action) {
         case CACHE:
             printf("Store in local cache!\n");
             cache = 42;
-            break; // remove for flawed version
         case PUBLISH:
             printf("Publish work!\n");
             global = 42;
     }
 }
 
 void *t(void *arg) {
-    if (pthread_mutex_lock(&mutex)) {
+    if (pthread_mutex_trylock(&mutex)) {
         f(CACHE);
     } else {
         f(PUBLISH);