|
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 |
|