From cdbbc274ec3f57c633636f3147f502773fc92a79 Mon Sep 17 00:00:00 2001
From: actyp <actypaldos@gmail.com>
Date: Tue, 2 Jun 2026 21:51:08 -0400
Subject: [PATCH] Update PSF version and commit hash

---
 pom.xml                 |  2 +-
 scripts/setup_fuzzer.sh | 19 ++++++++++---------
 2 files changed, 11 insertions(+), 10 deletions(-)

diff --git a/pom.xml b/pom.xml
index af558c0..e6da375 100644
--- a/pom.xml
+++ b/pom.xml
@@ -14,7 +14,7 @@
         <maven.compiler.target>21</maven.compiler.target>
         <maven.compiler.release>21</maven.compiler.release>
 
-        <protocol-state-fuzzer.version>1.0.0</protocol-state-fuzzer.version>
+        <protocol-state-fuzzer.version>0.1.0</protocol-state-fuzzer.version>
         <cf-edhoc.version>0.0.0</cf-edhoc.version>
         <error-prone.version>2.49.0</error-prone.version>
         <gson.version>2.14.0</gson.version>
diff --git a/scripts/setup_fuzzer.sh b/scripts/setup_fuzzer.sh
index e775cca..b8c67fe 100755
--- a/scripts/setup_fuzzer.sh
+++ b/scripts/setup_fuzzer.sh
@@ -8,7 +8,7 @@ readonly BASE_DIR
 setup_psf() {
     # setup protocol-state-fuzzer library
 
-    CHECKOUT="658a49d8b73ffca644ef3b05bf254177ed37d18b"
+    CHECKOUT="d076ce0e7de2eaac71f99fbf5345ddd80fe38963"
 
     set -e
     cd "${BASE_DIR}"
@@ -63,7 +63,7 @@ setup_fuzzer() {
 }
 
 usage() {
-  cat << END
+    cat <<END
   Usage: ${0##*/} [-opt]
   Options (library setup prior to EDHOC-Fuzzer):
     -p  Fetch and setup only protocol-state-fuzzer library
@@ -71,18 +71,19 @@ usage() {
     -l  Fetch and setup protocol-state-fuzzer and cf-edhoc libraries
     -h  Show usage message
 END
-  exit 0
+    exit 0
 }
 
-
-while getopts :pelh flag
-do
-  case "${flag}" in
+while getopts :pelh flag; do
+    case "${flag}" in
     p) setup_psf ;;
     e) setup_cf_edhoc ;;
-    l) setup_psf; setup_cf_edhoc ;;
+    l)
+        setup_psf
+        setup_cf_edhoc
+        ;;
     : | \? | h | *) usage ;;
-  esac
+    esac
 done
 
 setup_fuzzer