3
# /**-------------------------------------------------------------------**
5
# **-------------------------------------------------------------------**
6
# ** check_openscop.sh **
7
# **-------------------------------------------------------------------**
8
# ** First version: November 17th 2011 **
9
# **-------------------------------------------------------------------**/
12
#/*****************************************************************************
13
# * CLooG : the Chunky Loop Generator (experimental) *
14
# *****************************************************************************
16
# * Copyright (C) 2003 Cedric Bastoul *
18
# * This library is free software; you can redistribute it and/or *
19
# * modify it under the terms of the GNU Lesser General Public *
20
# * License as published by the Free Software Foundation; either *
21
# * version 2.1 of the License, or (at your option) any later version. *
23
# * This library is distributed in the hope that it will be useful, *
24
# * but WITHOUT ANY WARRANTY; without even the implied warranty of *
25
# * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *
26
# * Lesser General Public License for more details. *
28
# * You should have received a copy of the GNU Lesser General Public *
29
# * License along with this library; if not, write to the Free Software *
30
# * Foundation, Inc., 51 Franklin Street, Fifth Floor, *
31
# * Boston, MA 02110-1301 USA *
33
# * CLooG, the Chunky Loop Generator *
34
# * Written by Cedric Bastoul, Cedric.Bastoul@inria.fr *
36
# *****************************************************************************/
38
$CHECKER "OPENSCOP" "$CLOOGTEST_OPENSCOP" "-openscop" "scop" "c" "0"