ovni/test/ovni-driver.sh

36 lines
677 B
Bash
Raw Permalink Normal View History

2021-12-10 17:12:27 +01:00
#!/bin/sh
# Copyright (c) 2021 Barcelona Supercomputing Center (BSC)
2022-09-19 12:39:02 +02:00
# SPDX-License-Identifier: GPL-3.0-or-later
2021-12-10 17:12:27 +01:00
set -e
2022-08-22 16:40:08 +02:00
dir=$(readlink -f "${OVNI_CURRENT_DIR}")
testname="$dir/$1"
workdir="${testname}.trace"
tracedir="${workdir}/ovni"
emubin="${OVNI_BUILD_DIR}/ovniemu"
2021-12-10 17:12:27 +01:00
2022-08-22 16:40:08 +02:00
mkdir -p "${workdir}"
cd "${workdir}"
2021-12-10 17:12:27 +01:00
rm -rf "$tracedir"
2022-08-22 16:40:08 +02:00
if [ -z "$OVNI_NPROCS" ]; then
OVNI_NPROCS=1
fi
2021-12-10 17:12:27 +01:00
2022-08-22 16:40:08 +02:00
if [ "$OVNI_NPROCS" -gt 1 ]; then
for i in $(seq 1 "$OVNI_NPROCS"); do
# Run the test in the background
OVNI_RANK=$(($i-1)) OVNI_NRANKS=$OVNI_NPROCS "$testname" &
done
wait
else
"$testname"
fi
2021-12-10 17:12:27 +01:00
# Then launch the emulator in lint mode
"$emubin" -l "$tracedir"
#rm -rf $tracedir