Skip to content
Snippets Groups Projects
Commit fc268a30 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[ghost] Copyright header for a ghost qualifier test

parent 923c1594
No related branches found
No related tags found
No related merge requests found
(**************************************************************************) (**************************************************************************)
(* This file is part of Medium plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2018 - Inria Lille - Nord Europe *) (* This file is part of Frama-C. *)
(* Allan Blanchard *) (* *)
(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* INRIA (Institut National de Recherche en Informatique et en *)
(* Automatique) *)
(* *) (* *)
(* you can redistribute it and/or modify it under the terms of the GNU *) (* you can redistribute it and/or modify it under the terms of the GNU *)
(* Lesser General Public License as published by the Free Software *) (* Lesser General Public License as published by the Free Software *)
(* Foundation, version 3. *) (* Foundation, version 2.1. *)
(* *) (* *)
(* It is distributed in the hope that it will be useful, *) (* It is distributed in the hope that it will be useful, *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) (* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *)
(* GNU Lesser General Public License for more details. *) (* GNU Lesser General Public License for more details. *)
(* *) (* *)
(* See the GNU Lesser General Public License version 3 *)
(* for more details (enclosed in the file LICENCE). *)
(* *)
(**************************************************************************) (**************************************************************************)
open Cil_types open Cil_types
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment