1#!/bin/bash 2# 3# 4# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 5# 6# SPDX-License-Identifier: BSD-2-Clause 7# 8 9set -e 10echo 'running run_tests script' 11 12# Fetch directory this script is stored in. 13DIR="$(cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd)" 14 15# Run the tests from the script directory. 16cd ${DIR} 17mkdir -p .junit-reports 18 19if (($# >= 0)) && [[ $1 == "--prepared-target" ]]; then 20 TESTDIR=./graph-refine-internal 21else 22 TESTDIR=./ 23fi 24 25echo "TESTDIR="$TESTDIR 26 27python ../l4v/misc/regression/run_tests.py --junit-report=.junit-reports/regression.xml --d $TESTDIR 28 29# JUnit parser requires class names 30sed -i -e 's/<testcase classname=""/<testcase classname="wcet_regression"/g' .junit-reports/regression.xml 31 32 33