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