From 42f414fc38aa5008f39eb48e2d1bce2a7eec3dda Mon Sep 17 00:00:00 2001 From: Philip Dye Date: Mon, 15 Dec 2025 03:26:52 -0500 Subject: [PATCH] Fix ck_array_put returning false on success in transaction path The transaction path at line 125 was incorrectly returning false after successfully adding a value to the array. This inconsistency with the non-transaction path (which correctly returns true at line 105) caused ck_array_put to indicate failure when it actually succeeded. Bug found via spec-vs-src FSM workflow comparing API specifications against source implementations. --- src/ck_array.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ck_array.c b/src/ck_array.c index 35b25020..2ebb3383 100644 --- a/src/ck_array.c +++ b/src/ck_array.c @@ -122,7 +122,7 @@ ck_array_put(struct ck_array *array, void *value) } target->values[array->n_entries++] = value; - return false; + return true; } int