From fa7c4f01caac4a8f1b6e44a6d4c0040121ebc252 Mon Sep 17 00:00:00 2001
From: Linard Arquint <linard.arquint@inf.ethz.ch>
Date: Thu, 3 Apr 2025 16:18:49 +0200
Subject: [PATCH 1/2] makes verify.sh script more robust against spaces in
 paths

---
 verify.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/verify.sh b/verify.sh
index 149395a..ae1815b 100755
--- a/verify.sh
+++ b/verify.sh
@@ -8,15 +8,15 @@ scriptDir=$(dirname "$0")
 isCi=$CI
 
 # create .gobra folder if it does not exist yet:
-mkdir -p $scriptDir/.gobra
+mkdir -p "$scriptDir/.gobra"
 
 gobraJar="/gobra/gobra.jar"
-additionalGobraArgs="--module github.com/viperproject/ReusableProtocolVerificationLibrary --include .verification --gobraDirectory $scriptDir/.gobra --parallelizeBranches"
+additionalGobraArgs="--module github.com/viperproject/ReusableProtocolVerificationLibrary --include .verification --gobraDirectory '$scriptDir/.gobra' --parallelizeBranches"
 
 if [ $isCi ]; then
     echo -e "\033[0Ksection_start:`date +%s`:verify[collapsed=true]\r\033[0KVerifying packages"
 fi
-java -Xss128m -jar $gobraJar --recursive -I $scriptDir $additionalGobraArgs
+java -Xss128m -jar "$gobraJar" --recursive -I "$scriptDir" "$additionalGobraArgs"
 exitCode=$?
 if [ $isCi ]; then
     echo -e "\033[0Ksection_end:`date +%s`:verify\r\033[0K"

From 69c24207fbf10d4457e22b83384adacca2856417 Mon Sep 17 00:00:00 2001
From: Linard Arquint <linard.arquint@inf.ethz.ch>
Date: Thu, 3 Apr 2025 16:20:25 +0200
Subject: [PATCH 2/2] fixes script

---
 verify.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/verify.sh b/verify.sh
index ae1815b..2bfe936 100755
--- a/verify.sh
+++ b/verify.sh
@@ -16,7 +16,7 @@ additionalGobraArgs="--module github.com/viperproject/ReusableProtocolVerificati
 if [ $isCi ]; then
     echo -e "\033[0Ksection_start:`date +%s`:verify[collapsed=true]\r\033[0KVerifying packages"
 fi
-java -Xss128m -jar "$gobraJar" --recursive -I "$scriptDir" "$additionalGobraArgs"
+java -Xss128m -jar "$gobraJar" --recursive -I "$scriptDir" $additionalGobraArgs
 exitCode=$?
 if [ $isCi ]; then
     echo -e "\033[0Ksection_end:`date +%s`:verify\r\033[0K"