Update protocol-state-fuzzer setup

protocol-fuzzing · Dec 29, 2024 · e12e885 · e12e885
1 parent d306633
commit e12e885
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/setup_fuzzer.sh b/scripts/setup_fuzzer.sh
@@ -8,14 +8,14 @@ readonly BASE_DIR
 setup_psf() {
     # setup protocol-state-fuzzer library
 
-    CHECKOUT="generics"
+    CHECKOUT="d665cb9d4396ced98131df70adb445150b4d3704"
 
     set -e
     cd "${BASE_DIR}"
     git clone "https://github.com/protocol-fuzzing/protocol-state-fuzzer.git"
     cd protocol-state-fuzzer
     git checkout ${CHECKOUT}
-    mvn install
+    bash ./install.sh
 
     cd "${BASE_DIR}"
     rm -rf ./protocol-state-fuzzer/