Update hyp2 for the server of lakers 0.8.0

protocol-fuzzing · Mar 5, 2025 · 1503659 · 1503659
1 parent b3190eb
commit 1503659
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/experiments/saved_results/servers/lakers/hyp2.dot b/experiments/saved_results/servers/lakers/hyp2.dot
@@ -14,7 +14,7 @@ digraph g {
 	s0 -> s2 [label="COAP_EMPTY_MESSAGE / TIMEOUT"];
 	s1 -> s1 [label="EDHOC_MESSAGE_1 / EDHOC_MESSAGE_2"];
 	s1 -> s0 [label="EDHOC_MESSAGE_2 / TIMEOUT"];
-	s1 -> s0 [label="EDHOC_MESSAGE_3 / COAP_EMPTY_MESSAGE"];
+	s1 -> s0 [label="EDHOC_MESSAGE_3 / EDHOC_MESSAGE_4"];
 	s1 -> s0 [label="EDHOC_MESSAGE_4 / TIMEOUT"];
 	s1 -> s0 [label="EDHOC_ERROR_MESSAGE / TIMEOUT"];
 	s1 -> s1 [label="EDHOC_MESSAGE_3_OSCORE_APP / COAP_ERROR_MESSAGE"];