jeka/utun2
1
0 Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Apply INIT reachability before reply and publish guarded RX transitions

Browse Source
This commit is contained in:
evgeny committed 2026-10-23 13:45:23 +02:00
1 parent 608caf01c1
commit f00a5bd306
3 files changed
+110 -92
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

tests/test_etcp_init_liveness.c
+2 -2
View File
@@ -166,8 +166,8 @@ int main(void) {
if (getenv("UTUN_TEST_DEBUG")) debug_set_category_level(DEBUG_CATEGORY_ETCP, DEBUG_LEVEL_DEBUG);
test_clock_init(10); CHECK(socket_platform_init() == 0);
size_t baseline = u_get_allocated_count();
for (unsigned swapped = 0; swapped < 2; swapped++) for (unsigned blocked = 0; blocked < 2; blocked++) {
one_way(swapped, blocked); CHECK(u_get_allocated_count() == baseline);
for (unsigned swapped = 0; swapped < 2; swapped++) for (unsigned order = 0; order < 2; order++) {
one_way(swapped, 1 - order); CHECK(u_get_allocated_count() == baseline);
}
for (unsigned action = 1; action <= 2; action++) { close_in_callback(action); CHECK(u_get_allocated_count() == baseline); }
DEBUG_INFO(DEBUG_CATEGORY_DEBUG, "PASS encrypted INIT liveness: cold start, one-way loss, repeated INIT, recovery and callback close");