dual_core_RTA.sh

#!/bin/sh

REPO_ROOT=$PWD
CONFIG_FILE="$REPO_ROOT/configuration.ini"

RUNTIME_PROJ_DIR="$REPO_ROOT/Ada-RTE-Platform/"
RUNTIME_NO_MIG_DIR="$REPO_ROOT/ada-ravenscar-runtime-for-zynq7000-dual-core-with-no-migrations/"

RUNTIME_INSTALLATION_DIR="$RUNTIME_PROJ_DIR/runtime/arm-eabi/lib/gnat/ravenscar_full_zynq7000"
RUNTIME_NO_MIG_INSTALLATION_DIR="$RUNTIME_NO_MIG_DIR/runtime/arm-eabi/lib/gnat/ravenscar_full_zynq7000"

RTA_DIR="$REPO_ROOT/schedulability-analysis_tasksets-generation/dual-core-version/"

cd $RUNTIME_PROJ_DIR
echo $PWD
#sh build_runtime_zynq.sh
cd $REPO_ROOT


cd $RTA_DIR
python3 run.py --runtime-dir $RUNTIME_INSTALLATION_DIR --runtime-nomig-dir $RUNTIME_NO_MIG_INSTALLATION_DIR --util-low $1 --util-high $2 --util-step $3 --criticality-low $4 --criticality-high $5 --criticality-step $6 --proportion-low $7 --proportion-high $8 --proportion-step $9 --exp-1 ${10} --exp-2 ${11} --exp-3 ${12} --exp-4 ${13} --numb-tests ${14} --config-path $CONFIG_FILE