ms2k/lazaret
SHA256
Watch
0
Code Releases 3 Activity

Make concurrency verification deterministic and exhaustive

Browse source
This commit is contained in:
ms2k 2026-07-22 01:51:55 +09:00
commit 84bb22a7db
1 changed files with 216 additions and 102 deletions
Download patch file Download diff file Expand all files Collapse all files

45
tools/lazaret_verify.py
View file

@ -31,11 +31,13 @@ NEXTEST_COMMAND = (
"--all-features",
"--locked",
"--filterset",
(
"not binary(capability-drop-helper) and not binary(acquisition) "
"and not binary(recovery-process) and not binary(runtime-composition) "
"and not binary(network-runtime)"
),
(
"not binary(capability-drop-helper) and not binary(acquisition) "
"and not binary(state-anchor-lifecycle) and not binary(recovery-process) "
"and not binary(runtime-composition) and not binary(escalation) "
"and not binary(prepared-worker) "
"and not binary(network-runtime)"
),
)
DOCTEST_COMMAND = (
"cargo",
@ -66,6 +68,16 @@ ACQUISITION_TEST_COMMAND = (
"acquisition",
"--locked",
)
STATE_ANCHOR_LIFECYCLE_TEST_COMMAND = (
"cargo",
"test",
"--offline",
"-p",
"lazaret-state-anchor",
"--test",
"state-anchor-lifecycle",
"--locked",
)
RECOVERY_PROCESS_TEST_COMMAND = (
"cargo",
"test",
@ -76,6 +88,26 @@ RECOVERY_PROCESS_TEST_COMMAND = (
"recovery-process",
"--locked",
)
ESCALATION_TEST_COMMAND = (
"cargo",
"test",
"--offline",
"-p",
"lazaret-host-coordinator",
"--test",
"escalation",
"--locked",
)
PREPARED_WORKER_TEST_COMMAND = (
"cargo",
"test",
"--offline",
"-p",
"lazaret-host-coordinator",
"--test",
"prepared-worker",
"--locked",
)
RUNTIME_COMPOSITION_TEST_COMMAND = (
"cargo",
"test",
@ -684,8 +716,11 @@ def run_rust_tests() -> None:
run(list(FUSER_PATCH_TEST_COMMAND))
run(list(NEXTEST_COMMAND))
run(list(ACQUISITION_TEST_COMMAND))
run(list(STATE_ANCHOR_LIFECYCLE_TEST_COMMAND))
run(list(RECOVERY_PROCESS_TEST_COMMAND))
run(list(CAPABILITY_TEST_COMMAND))
run(list(ESCALATION_TEST_COMMAND))
run(list(PREPARED_WORKER_TEST_COMMAND))
run_physical(list(RUNTIME_COMPOSITION_TEST_COMMAND))
run_physical(list(NETWORK_RUNTIME_TEST_COMMAND))
run(list(DOCTEST_COMMAND))