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 2010, INRIA, University of Copenhagen
 171  * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
 172  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 173  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 174  * This file is part of Coccinelle.
 175  *
 176  * Coccinelle is free software: you can redistribute it and/or modify
 177  * it under the terms of the GNU General Public License as published by
 178  * the Free Software Foundation, according to version 2 of the License.
 179  *
 180  * Coccinelle is distributed in the hope that it will be useful,
 181  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 182  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 183  * GNU General Public License for more details.
 184  *
 185  * You should have received a copy of the GNU General Public License
 186  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 187  *
 188  * The authors reserve the right to distribute this or future versions of
 189  * Coccinelle under other licenses.
 190  *)
 191
 192
 193 (*
 194  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 195  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 196  * This file is part of Coccinelle.
 197  *
 198  * Coccinelle is free software: you can redistribute it and/or modify
 199  * it under the terms of the GNU General Public License as published by
 200  * the Free Software Foundation, according to version 2 of the License.
 201  *
 202  * Coccinelle is distributed in the hope that it will be useful,
 203  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 204  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 205  * GNU General Public License for more details.
 206  *
 207  * You should have received a copy of the GNU General Public License
 208  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 209  *
 210  * The authors reserve the right to distribute this or future versions of
 211  * Coccinelle under other licenses.
 212  *)
 213
 214
 215 (*
 216  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 217  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 218  * This file is part of Coccinelle.
 219  *
 220  * Coccinelle is free software: you can redistribute it and/or modify
 221  * it under the terms of the GNU General Public License as published by
 222  * the Free Software Foundation, according to version 2 of the License.
 223  *
 224  * Coccinelle is distributed in the hope that it will be useful,
 225  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 226  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 227  * GNU General Public License for more details.
 228  *
 229  * You should have received a copy of the GNU General Public License
 230  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 231  *
 232  * The authors reserve the right to distribute this or future versions of
 233  * Coccinelle under other licenses.
 234  *)
 235
 236
 237 (*
 238  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 239  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 240  * This file is part of Coccinelle.
 241  *
 242  * Coccinelle is free software: you can redistribute it and/or modify
 243  * it under the terms of the GNU General Public License as published by
 244  * the Free Software Foundation, according to version 2 of the License.
 245  *
 246  * Coccinelle is distributed in the hope that it will be useful,
 247  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 248  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 249  * GNU General Public License for more details.
 250  *
 251  * You should have received a copy of the GNU General Public License
 252  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 253  *
 254  * The authors reserve the right to distribute this or future versions of
 255  * Coccinelle under other licenses.
 256  *)
 257
 258
 259 (*
 260  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 261  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 262  * This file is part of Coccinelle.
 263  *
 264  * Coccinelle is free software: you can redistribute it and/or modify
 265  * it under the terms of the GNU General Public License as published by
 266  * the Free Software Foundation, according to version 2 of the License.
 267  *
 268  * Coccinelle is distributed in the hope that it will be useful,
 269  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 270  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 271  * GNU General Public License for more details.
 272  *
 273  * You should have received a copy of the GNU General Public License
 274  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 275  *
 276  * The authors reserve the right to distribute this or future versions of
 277  * Coccinelle under other licenses.
 278  *)
 279
 280
 281 (*
 282  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 283  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 284  * This file is part of Coccinelle.
 285  *
 286  * Coccinelle is free software: you can redistribute it and/or modify
 287  * it under the terms of the GNU General Public License as published by
 288  * the Free Software Foundation, according to version 2 of the License.
 289  *
 290  * Coccinelle is distributed in the hope that it will be useful,
 291  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 292  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 293  * GNU General Public License for more details.
 294  *
 295  * You should have received a copy of the GNU General Public License
 296  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 297  *
 298  * The authors reserve the right to distribute this or future versions of
 299  * Coccinelle under other licenses.
 300  *)
 301
 302
 303 (*
 304  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 305  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 306  * This file is part of Coccinelle.
 307  *
 308  * Coccinelle is free software: you can redistribute it and/or modify
 309  * it under the terms of the GNU General Public License as published by
 310  * the Free Software Foundation, according to version 2 of the License.
 311  *
 312  * Coccinelle is distributed in the hope that it will be useful,
 313  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 314  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 315  * GNU General Public License for more details.
 316  *
 317  * You should have received a copy of the GNU General Public License
 318  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 319  *
 320  * The authors reserve the right to distribute this or future versions of
 321  * Coccinelle under other licenses.
 322  *)
 323
 324
 325 (*
 326  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 327  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 328  * This file is part of Coccinelle.
 329  *
 330  * Coccinelle is free software: you can redistribute it and/or modify
 331  * it under the terms of the GNU General Public License as published by
 332  * the Free Software Foundation, according to version 2 of the License.
 333  *
 334  * Coccinelle is distributed in the hope that it will be useful,
 335  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 336  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 337  * GNU General Public License for more details.
 338  *
 339  * You should have received a copy of the GNU General Public License
 340  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 341  *
 342  * The authors reserve the right to distribute this or future versions of
 343  * Coccinelle under other licenses.
 344  *)
 345
 346
 347 (*
 348  * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
 349  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 350  * This file is part of Coccinelle.
 351  *
 352  * Coccinelle is free software: you can redistribute it and/or modify
 353  * it under the terms of the GNU General Public License as published by
 354  * the Free Software Foundation, according to version 2 of the License.
 355  *
 356  * Coccinelle is distributed in the hope that it will be useful,
 357  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 358  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 359  * GNU General Public License for more details.
 360  *
 361  * You should have received a copy of the GNU General Public License
 362  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 363  *
 364  * The authors reserve the right to distribute this or future versions of
 365  * Coccinelle under other licenses.
 366  *)
 367
 368
 369 (*
 370  * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
 371  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
 372  * This file is part of Coccinelle.
 373  *
 374  * Coccinelle is free software: you can redistribute it and/or modify
 375  * it under the terms of the GNU General Public License as published by
 376  * the Free Software Foundation, according to version 2 of the License.
 377  *
 378  * Coccinelle is distributed in the hope that it will be useful,
 379  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 380  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 381  * GNU General Public License for more details.
 382  *
 383  * You should have received a copy of the GNU General Public License
 384  * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
 385  *
 386  * The authors reserve the right to distribute this or future versions of
 387  * Coccinelle under other licenses.
 388  *)
 389
 390
 391 let foo_ctl () = failwith "there is no foo_ctl formula"