1#!/bin/sh
2
3# Run the Floating_Point_Expression tests.
4# Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
5# Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)
6#
7# This file is part of the Parma Polyhedra Library (PPL).
8#
9# The PPL is free software; you can redistribute it and/or modify it
10# under the terms of the GNU General Public License as published by the
11# Free Software Foundation; either version 3 of the License, or (at your
12# option) any later version.
13#
14# The PPL is distributed in the hope that it will be useful, but WITHOUT
15# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
16# FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
17# for more details.
18#
19# You should have received a copy of the GNU General Public License
20# along with this program; if not, write to the Free Software Foundation,
21# Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
22#
23# For the most up-to-date information see the Parma Polyhedra Library
24# site: http://bugseng.com/products/ppl/ .
25
26mpz_class_XFAIL_TESTS=
27mpq_class_XFAIL_TESTS=
28int8_t_XFAIL_TESTS=
29int16_t_XFAIL_TESTS=
30int32_t_XFAIL_TESTS=
31int64_t_XFAIL_TESTS=
32float_XFAIL_TESTS=
33double_XFAIL_TESTS=
34long_double_XFAIL_TESTS=
35
36if [ -z "$MAKE" ]
37then
38    MAKE=make
39fi
40
41instances=`MAKEFLAGS='' $MAKE -s print_INSTANCES`
42
43check_PROGRAMS=`MAKEFLAGS='' $MAKE -s print_check_PROGRAMS`
44
45for instance in $instances
46do
47  echo "**************************** " $instance " ****************************"
48  eval xfail_tests='"$'$instance'_XFAIL_TESTS"'
49  [ -f dirty_marker ] && $MAKE clean
50  touch dirty_marker
51  analyzer_fp_format=${instance%/*}
52  analyzed_fp_format=${instance#*/}
53  $MAKE check TESTS="$check_PROGRAMS" TESTS_ENVIRONMENT="$CHECKER" TEST_CPPFLAGS="-DANALYZER_FP_FORMAT=$analyzer_fp_format -DANALYZED_FP_FORMAT=$analyzed_fp_format" XFAIL_TESTS=$xfail_tests || exit 1
54  $MAKE clean && rm dirty_marker
55done
56exit 0
57