Refactor test/dune and add a failing test #2

Merged
reynir merged 12 commits from batch-test into main 2024-10-29 11:21:16 +00:00

12 commits

Author SHA1 Message Date
0b330178e1 as suggested by @reynir @dinosaure, use a single Lwt_mutex.t 2024-10-29 11:51:55 +01:00
681e4f2367 Add expected EOF on cram tests (otherwise, tests fails on Archlinux) 2024-10-29 11:10:00 +01:00
3cae0f7765 Use Lwt_{condition,mutex} instead of lwt tasks to serialize change_and_push 2024-10-29 11:09:53 +01:00
1327cc4f94 add comment about the reset of the waiter 2024-10-29 10:51:46 +01:00
931c0481d7 add task a task b task c test, and a fix 2024-10-29 10:44:49 +01:00
9afb8e29e2 Document change_and_push_waiter details 2024-10-29 10:10:17 +01:00
750ec11b5f remove superfluous assignment, spotted by @dinosaure 2024-10-29 09:50:53 +01:00
Robur Team
e91bd44cb8 Added tests for change_and_push and parallel modifications
Fixed last_modified (when running inside change_and_push),
and change_and_push.

Co-Authored-By: Reynir Björnsson <reynir@reynir.dk>
Co-Authored-By: Hannes Mehnert <hannes@mehnert.org>
2016-08-21 17:18:43 +02:00
b1e995532b add alcotest 2024-10-28 09:45:49 +01:00
f1c7403a7f minor nits to get tests running on FreeBSD 2024-10-26 17:34:04 +02:00
4f93219f1d Read staged files 2024-10-25 13:03:30 +02:00
65f850cf44 Refactor test/dune and add a failing test
The failing test shows how writes during a change_and_push are not
readable.
2024-10-25 11:47:35 +02:00