[go: up one dir, main page]

KVS: Use `tezt-bam` for the PBT test and fix a deadlock issue

Stacked on !15148 (merged)

What

Replace the PBT test with QCheck2 by tezt-bam engine and fix a deadlock issue.

Why

While debugging a memory leak in the KVS, I was not able to pin down the issue with QCheck2. tezt-bam was helpful for that. By moving from QCheck2 to tezt-bam, we realize quickly that a deadlock can arise. The second commit fixes it.

How

Nothing special, just using tezt-bam. The fix for the deadlock is detailed in comment.

Manually testing the MR

dune exec src/lib_stdlib_unix/test/main.exe -- kvs -v --loop

Observe it works. Observe it is stuck if you remove the last commit.

Edited by Paul Laforgue

Merge request reports

Loading