test.ml

   1 (*
   2  * Copyright 2010, INRIA, University of Copenhagen
   3  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
   4  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
   5  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
   6  * This file is part of Coccinelle.
   7  *
   8  * Coccinelle is free software: you can redistribute it and/or modify
   9  * it under the terms of the GNU General Public License as published by
  10  * the Free Software Foundation, according to version 2 of the License.
  11  *
  12  * Coccinelle is distributed in the hope that it will be useful,
  13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15  * GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
  19  *
  20  * The authors reserve the right to distribute this or future versions of
  21  * Coccinelle under other licenses.
  22  *)
  23
  24
  25 (*
  26  * Copyright 2010, INRIA, University of Copenhagen
  27  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
  28  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
  29  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
  30  * This file is part of Coccinelle.
  31  *
  32  * Coccinelle is free software: you can redistribute it and/or modify
  33  * it under the terms of the GNU General Public License as published by
  34  * the Free Software Foundation, according to version 2 of the License.
  35  *
  36  * Coccinelle is distributed in the hope that it will be useful,
  37  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  38  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  39  * GNU General Public License for more details.
  40  *
  41  * You should have received a copy of the GNU General Public License
  42  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
  43  *
  44  * The authors reserve the right to distribute this or future versions of
  45  * Coccinelle under other licenses.
  46  *)
  47
  48
  49 (*
  50  * Copyright 2010, INRIA, University of Copenhagen
  51  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
  52  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
  53  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
  54  * This file is part of Coccinelle.
  55  *
  56  * Coccinelle is free software: you can redistribute it and/or modify
  57  * it under the terms of the GNU General Public License as published by
  58  * the Free Software Foundation, according to version 2 of the License.
  59  *
  60  * Coccinelle is distributed in the hope that it will be useful,
  61  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  62  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  63  * GNU General Public License for more details.
  64  *
  65  * You should have received a copy of the GNU General Public License
  66  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
  67  *
  68  * The authors reserve the right to distribute this or future versions of
  69  * Coccinelle under other licenses.
  70  *)
  71
  72
  73 (*
  74  * Copyright 2010, INRIA, University of Copenhagen
  75  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
  76  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
  77  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
  78  * This file is part of Coccinelle.
  79  *
  80  * Coccinelle is free software: you can redistribute it and/or modify
  81  * it under the terms of the GNU General Public License as published by
  82  * the Free Software Foundation, according to version 2 of the License.
  83  *
  84  * Coccinelle is distributed in the hope that it will be useful,
  85  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  86  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  87  * GNU General Public License for more details.
  88  *
  89  * You should have received a copy of the GNU General Public License
  90  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
  91  *
  92  * The authors reserve the right to distribute this or future versions of
  93  * Coccinelle under other licenses.
  94  *)
  95
  96
  97 (*
  98  * Copyright 2010, INRIA, University of Copenhagen
  99  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 100  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 101  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 102  * This file is part of Coccinelle.
 103  *
 104  * Coccinelle is free software: you can redistribute it and/or modify
 105  * it under the terms of the GNU General Public License as published by
 106  * the Free Software Foundation, according to version 2 of the License.
 107  *
 108  * Coccinelle is distributed in the hope that it will be useful,
 109  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 110  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 111  * GNU General Public License for more details.
 112  *
 113  * You should have received a copy of the GNU General Public License
 114  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 115  *
 116  * The authors reserve the right to distribute this or future versions of
 117  * Coccinelle under other licenses.
 118  *)
 119
 120
 121 (*
 122  * Copyright 2010, INRIA, University of Copenhagen
 123  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 124  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 125  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 126  * This file is part of Coccinelle.
 127  *
 128  * Coccinelle is free software: you can redistribute it and/or modify
 129  * it under the terms of the GNU General Public License as published by
 130  * the Free Software Foundation, according to version 2 of the License.
 131  *
 132  * Coccinelle is distributed in the hope that it will be useful,
 133  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 134  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 135  * GNU General Public License for more details.
 136  *
 137  * You should have received a copy of the GNU General Public License
 138  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 139  *
 140  * The authors reserve the right to distribute this or future versions of
 141  * Coccinelle under other licenses.
 142  *)
 143
 144
 145 (*
 146  * Copyright 2010, INRIA, University of Copenhagen
 147  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 148  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 149  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 150  * This file is part of Coccinelle.
 151  *
 152  * Coccinelle is free software: you can redistribute it and/or modify
 153  * it under the terms of the GNU General Public License as published by
 154  * the Free Software Foundation, according to version 2 of the License.
 155  *
 156  * Coccinelle is distributed in the hope that it will be useful,
 157  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 158  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 159  * GNU General Public License for more details.
 160  *
 161  * You should have received a copy of the GNU General Public License
 162  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 163  *
 164  * The authors reserve the right to distribute this or future versions of
 165  * Coccinelle under other licenses.
 166  *)
 167
 168
 169 (*
 170  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 171  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 172  * This file is part of Coccinelle.
 173  *
 174  * Coccinelle is free software: you can redistribute it and/or modify
 175  * it under the terms of the GNU General Public License as published by
 176  * the Free Software Foundation, according to version 2 of the License.
 177  *
 178  * Coccinelle is distributed in the hope that it will be useful,
 179  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 180  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 181  * GNU General Public License for more details.
 182  *
 183  * You should have received a copy of the GNU General Public License
 184  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 185  *
 186  * The authors reserve the right to distribute this or future versions of
 187  * Coccinelle under other licenses.
 188  *)
 189
 190
 191 (*
 192  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 193  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 194  * This file is part of Coccinelle.
 195  *
 196  * Coccinelle is free software: you can redistribute it and/or modify
 197  * it under the terms of the GNU General Public License as published by
 198  * the Free Software Foundation, according to version 2 of the License.
 199  *
 200  * Coccinelle is distributed in the hope that it will be useful,
 201  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 202  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 203  * GNU General Public License for more details.
 204  *
 205  * You should have received a copy of the GNU General Public License
 206  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 207  *
 208  * The authors reserve the right to distribute this or future versions of
 209  * Coccinelle under other licenses.
 210  *)
 211
 212
 213 (*
 214  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 215  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 216  * This file is part of Coccinelle.
 217  *
 218  * Coccinelle is free software: you can redistribute it and/or modify
 219  * it under the terms of the GNU General Public License as published by
 220  * the Free Software Foundation, according to version 2 of the License.
 221  *
 222  * Coccinelle is distributed in the hope that it will be useful,
 223  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 224  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 225  * GNU General Public License for more details.
 226  *
 227  * You should have received a copy of the GNU General Public License
 228  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 229  *
 230  * The authors reserve the right to distribute this or future versions of
 231  * Coccinelle under other licenses.
 232  *)
 233
 234
 235 (*
 236  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 237  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 238  * This file is part of Coccinelle.
 239  *
 240  * Coccinelle is free software: you can redistribute it and/or modify
 241  * it under the terms of the GNU General Public License as published by
 242  * the Free Software Foundation, according to version 2 of the License.
 243  *
 244  * Coccinelle is distributed in the hope that it will be useful,
 245  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 246  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 247  * GNU General Public License for more details.
 248  *
 249  * You should have received a copy of the GNU General Public License
 250  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 251  *
 252  * The authors reserve the right to distribute this or future versions of
 253  * Coccinelle under other licenses.
 254  *)
 255
 256
 257 (*
 258  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 259  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 260  * This file is part of Coccinelle.
 261  *
 262  * Coccinelle is free software: you can redistribute it and/or modify
 263  * it under the terms of the GNU General Public License as published by
 264  * the Free Software Foundation, according to version 2 of the License.
 265  *
 266  * Coccinelle is distributed in the hope that it will be useful,
 267  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 268  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 269  * GNU General Public License for more details.
 270  *
 271  * You should have received a copy of the GNU General Public License
 272  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 273  *
 274  * The authors reserve the right to distribute this or future versions of
 275  * Coccinelle under other licenses.
 276  *)
 277
 278
 279 (*
 280  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 281  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 282  * This file is part of Coccinelle.
 283  *
 284  * Coccinelle is free software: you can redistribute it and/or modify
 285  * it under the terms of the GNU General Public License as published by
 286  * the Free Software Foundation, according to version 2 of the License.
 287  *
 288  * Coccinelle is distributed in the hope that it will be useful,
 289  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 290  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 291  * GNU General Public License for more details.
 292  *
 293  * You should have received a copy of the GNU General Public License
 294  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 295  *
 296  * The authors reserve the right to distribute this or future versions of
 297  * Coccinelle under other licenses.
 298  *)
 299
 300
 301 (*
 302  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 303  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 304  * This file is part of Coccinelle.
 305  *
 306  * Coccinelle is free software: you can redistribute it and/or modify
 307  * it under the terms of the GNU General Public License as published by
 308  * the Free Software Foundation, according to version 2 of the License.
 309  *
 310  * Coccinelle is distributed in the hope that it will be useful,
 311  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 312  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 313  * GNU General Public License for more details.
 314  *
 315  * You should have received a copy of the GNU General Public License
 316  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 317  *
 318  * The authors reserve the right to distribute this or future versions of
 319  * Coccinelle under other licenses.
 320  *)
 321
 322
 323 (*
 324  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 325  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 326  * This file is part of Coccinelle.
 327  *
 328  * Coccinelle is free software: you can redistribute it and/or modify
 329  * it under the terms of the GNU General Public License as published by
 330  * the Free Software Foundation, according to version 2 of the License.
 331  *
 332  * Coccinelle is distributed in the hope that it will be useful,
 333  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 334  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 335  * GNU General Public License for more details.
 336  *
 337  * You should have received a copy of the GNU General Public License
 338  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 339  *
 340  * The authors reserve the right to distribute this or future versions of
 341  * Coccinelle under other licenses.
 342  *)
 343
 344
 345 (*
 346  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 347  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 348  * This file is part of Coccinelle.
 349  *
 350  * Coccinelle is free software: you can redistribute it and/or modify
 351  * it under the terms of the GNU General Public License as published by
 352  * the Free Software Foundation, according to version 2 of the License.
 353  *
 354  * Coccinelle is distributed in the hope that it will be useful,
 355  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 356  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 357  * GNU General Public License for more details.
 358  *
 359  * You should have received a copy of the GNU General Public License
 360  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 361  *
 362  * The authors reserve the right to distribute this or future versions of
 363  * Coccinelle under other licenses.
 364  *)
 365
 366
 367 let foo_ctl () = failwith "there is no foo_ctl formula"