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/version/1.114/tool/testcoverage#1 $
# Copyright (c) 2014 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.
#
#
# C. COPYRIGHT AND LICENCE
#
# Copyright (c) 2014 Ravenbrook Ltd.  All rights reserved.
#
# 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 REGENTS 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/version/1.114/tool/testcoverage#1 $