fixes verify script again

Author: ArquintL

verify.sh

@@ -11,12 +11,12 @@ isCi=$CI
 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 --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" -I ".verification" --gobraDirectory "$scriptDir/.gobra" $additionalGobraArgs
 exitCode=$?
 if [ $isCi ]; then
     echo -e "\033[0Ksection_end:`date +%s`:verify\r\033[0K"