From d7ec2fcd4adf55574314f203c14ee61bed3dbbc2 Mon Sep 17 00:00:00 2001 From: Ocheretovich Date: Fri, 6 Mar 2026 13:37:47 +0200 Subject: [PATCH] chore: quote variables in bash script --- scripts/batch-run-picus-noprop.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/scripts/batch-run-picus-noprop.sh b/scripts/batch-run-picus-noprop.sh index 21da812..02f0e2f 100755 --- a/scripts/batch-run-picus-noprop.sh +++ b/scripts/batch-run-picus-noprop.sh @@ -7,21 +7,21 @@ otime=$2 logpath=$3 targetfolder=$4 -mkdir -p ${logpath} +mkdir -p "${logpath}" -for fp in ${targetfolder}/*.r1cs +for fp in "${targetfolder}"/*.r1cs do - fn=$(basename ${fp}) + fn=$(basename "${fp}") bn="${fn%.*}" bp="${fp%.*}" echo "=================== checking: ${fn} ===================" echo "==== start: $(date -u)" st="$(date -u +%s)" - timeout ${otime} racket ./picus-dpvl-uniqueness.rkt --timeout 5000 --solver ${solver} --weak --noprop --r1cs ${fp} > ${logpath}/${bn}.log 2>&1 + timeout "${otime}" racket ./picus-dpvl-uniqueness.rkt --timeout 5000 --solver "${solver}" --weak --noprop --r1cs "${fp}" > "${logpath}/${bn}.log" 2>&1 et="$(date -u +%s)" echo "==== end: $(date -u)" ct="$(($et-$st))" echo "==== elapsed: ${ct} seconds" -done \ No newline at end of file +done