1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
#!/bin/sh
#
#          TESTCOVERAGE -- TEST COVERAGE REPORT FOR THE MPS
#             Gareth Rees, Ravenbrook Limited, 2014-03-21
#
# $Id: //info.ravenbrook.com/project/mps/master/tool/testcoverage#11 $
# Copyright (c) 2014-2020 Ravenbrook Limited. See end of file for license.
#
#
# 1. INTRODUCTION
#
# This shell script runs the MPS test suite and prepares a test
# coverage report.
#
# Supported platforms: xc.

ARCH=$(uname -m)
OS=$(uname -s)
PROJECT=mps
TOOL=$(dirname "$0")
CODE=$TOOL/../code
MPS_TELEMETRY_CONTROL=all
export MPS_TELEMETRY_CONTROL

case "$ARCH-$OS" in
    *-Darwin)
        CONFIGURATION=Debug
        (
            cd -- "$CODE" &&
            xcrun xcodebuild -config "$CONFIGURATION" clean &&
            xcrun xcodebuild -config "$CONFIGURATION" -target testrun \
                GCC_GENERATE_TEST_COVERAGE_FILES=YES \
                GCC_INSTRUMENT_PROGRAM_FLOW_ARCS=YES
        )
        (
            cd -- "$CODE/xc/$PROJECT.build/$CONFIGURATION/$PROJECT.build/Objects-normal/$ARCH" &&
            xcrun gcov mps.c 2> /dev/null
        ) | "$TOOL/gcovfmt"
        ;;
    *)
        echo "Platform $ARCH-$OS not supported."
        ;;
esac


# A. REFERENCES
#
#
# B. DOCUMENT HISTORY
#
# 2014-03-21 GDR Created.
# 2020-07-29 PNJ Updated licence.
#
# C. COPYRIGHT AND LICENSE
#
# Copyright (C) 2014-2020 Ravenbrook Limited <https://www.ravenbrook.com/>.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions are
# met:
#
# 1. Redistributions of source code must retain the above copyright
#    notice, this list of conditions and the following disclaimer.
#
# 2. Redistributions in binary form must reproduce the above copyright
#    notice, this list of conditions and the following disclaimer in the
#    documentation and/or other materials provided with the
#    distribution.
#
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
# IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
# TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
# PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
# HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
#
#
# $Id: //info.ravenbrook.com/project/mps/master/tool/testcoverage#11 $