Update to lakers 0.8.0 (#109)

* Bump lakers version from 0.7.2 to 0.8.0 * Update hyp2 for the server of lakers 0.8.0
protocol-fuzzing · Mar 5, 2025 · 0f1a438 · 0f1a438
1 parent 60f079d
commit 0f1a438
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
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"];

diff --git a/scripts/setup_sul.sh b/scripts/setup_sul.sh
@@ -14,7 +14,7 @@ mkdir -p "${SOURCES_DIR}" "${SERVERS_DIR}" "${CLIENTS_DIR}"
 
 setup_lakers() {
   # lakers
-  CHECKOUT="tags/v0.7.2"
+  CHECKOUT="tags/v0.8.0"
 
   set -e
   echo "Setting up Lakers in ${SOURCES_DIR}"