Skip to content

N
nebula
Commit f79bf81d authored by F-WRunTime's avatar F-WRunTime
Browse files
Options

Fixing shellcheck analysis

parent d0be6067
Hide whitespace changes
Inline Side-by-side
Showing with 29 additions and 29 deletions
packages/contracts-bedrock/test/kontrol/kontrol/run-kontrol.sh
View file @ f79bf81d
#!/bin/bash #!/bin/bash
set -u set -euo pipefail
##################### #####################
# Support Functions # # Support Functions #
##################### #####################
blank_line() { echo '' >&2 ; } blank_line() { echo '' >&2 ; }
notif() { echo "== $0: $@" >&2 ; } notif() { echo "== $0: $*" >&2 ; }
############# #############
# Variables # # Variables #
...@@ -16,13 +16,14 @@ notif "Script Home: $SCRIPT_HOME" ...@@ -16,13 +16,14 @@ notif "Script Home: $SCRIPT_HOME"
blank_line blank_line
# Set Run Directory <root>/packages/contracts-bedrock # Set Run Directory <root>/packages/contracts-bedrock
WORKSPACE_DIR=$( cd $SCRIPT_HOME/../../.. >/dev/null 2>&1 && pwd ) WORKSPACE_DIR=$( cd "${SCRIPT_HOME}/../../.." >/dev/null 2>&1 && pwd )
notif "Run Directory: $WORKSPACE_DIR" notif "Run Directory: ${WORKSPACE_DIR}"
blank_line blank_line
export FOUNDRY_PROFILE=kontrol export FOUNDRY_PROFILE=kontrol
export CONTAINER_NAME=kontrol-tests export CONTAINER_NAME=kontrol-tests
export KONTROL_RELEASE=$(cat $WORKSPACE_DIR/../../.kontrolrc) KONTROLRC=$(cat "${WORKSPACE_DIR}/../../.kontrolrc")
export KONTROL_RELEASE=${KONTROLRC}
############# #############
...@@ -32,45 +33,44 @@ kontrol_build() { ...@@ -32,45 +33,44 @@ kontrol_build() {
notif "Kontrol Build" notif "Kontrol Build"
docker_exec kontrol build \ docker_exec kontrol build \
--verbose \ --verbose \
--require ${lemmas} \ --require "${lemmas}" \
--module-import ${module} \ --module-import "${module}" \
${rekompile} "${rekompile}"
} }
kontrol_prove() { kontrol_prove() {
notif "Kontrol Prove" notif "Kontrol Prove"
docker_exec kontrol prove \ docker_exec kontrol prove \
--max-depth ${max_depth} \ --max-depth "${max_depth}" \
--max-iterations ${max_iterations} \ --max-iterations "${max_iterations}" \
--smt-timeout ${smt_timeout} \ --smt-timeout "${smt_timeout}" \
--bmc-depth ${bmc_depth} \ --bmc-depth "${bmc_depth}" \
--workers ${workers} \ --workers "${workers}" \
${reinit} \ "${reinit}" \
${bug_report} \ "${bug_report}" \
${break_on_calls} \ "${break_on_calls}" \
${auto_abstract} \ "${auto_abstract}" \
${tests} \ "${tests}" \
${use_booster} "${use_booster}"
} }
start_docker () { start_docker () {
docker run \ docker run \
--name ${CONTAINER_NAME} \ --name "${CONTAINER_NAME}" \
--rm \ --rm \
--interactive \ --interactive \
--tty \
--detach \ --detach \
--env FOUNDRY_PROFILE=${FOUNDRY_PROFILE} \ --env FOUNDRY_PROFILE="${FOUNDRY_PROFILE}" \
--workdir /home/user/workspace \ --workdir /home/user/workspace \
runtimeverificationinc/kontrol:ubuntu-jammy-${KONTROL_RELEASE} runtimeverificationinc/kontrol:ubuntu-jammy-"${KONTROL_RELEASE}"
# Copy test content to container # Copy test content to container
docker cp --follow-link $WORKSPACE_DIR/. ${CONTAINER_NAME}:/home/user/workspace docker cp --follow-link "${WORKSPACE_DIR}/." ${CONTAINER_NAME}:/home/user/workspace
docker exec --user root ${CONTAINER_NAME} chown -R user:user /home/user docker exec --user root ${CONTAINER_NAME} chown -R user:user /home/user
} }
docker_exec () { docker_exec () {
docker exec --workdir /home/user/workspace ${CONTAINER_NAME} $@ docker exec --workdir /home/user/workspace ${CONTAINER_NAME} "$@"
} }
dump_log_results(){ dump_log_results(){
...@@ -80,12 +80,12 @@ dump_log_results(){ ...@@ -80,12 +80,12 @@ dump_log_results(){
notif "Copying Tests Results to Host" notif "Copying Tests Results to Host"
blank_line blank_line
docker cp ${CONTAINER_NAME}:/home/user/workspace/results.tar.gz ./kontrol-results_$(date +'%Y-%m-%d-%H-%M-%S').tar.gz docker cp ${CONTAINER_NAME}:/home/user/workspace/results.tar.gz ./kontrol-results_"$(date +'%Y-%m-%d-%H-%M-%S')".tar.gz
cp kontrol-results_*.tar.gz kontrol-results_latest.tar.gz cp kontrol-results_*.tar.gz kontrol-results_latest.tar.gz
notif "Dump Logs" notif "Dump Logs"
LOG_FILE="run-kontrol-$(date +'%Y-%m-%d-%H-%M-%S').log" LOG_FILE="run-kontrol-$(date +'%Y-%m-%d-%H-%M-%S').log"
docker logs ${CONTAINER_NAME} > $LOG_FILE docker logs ${CONTAINER_NAME} > "${LOG_FILE}"
} }
clean_docker(){ clean_docker(){
...@@ -108,7 +108,7 @@ on_failure() { ...@@ -108,7 +108,7 @@ on_failure() {
} }
# Set up the trap to run the function on failure # Set up the trap to run the function on failure
trap on_failure ERR trap on_failure ERR INT
######################### #########################
# kontrol build options # # kontrol build options #
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment