diff --git a/headers/header_config.txt b/headers/header_config.txt index a6b65ded6b2f5ca23904d407b4f8c7bf9c78aedc..f6d1b463a6d1ef3c295a2ea216abda226e7a58ac 100644 --- a/headers/header_config.txt +++ b/headers/header_config.txt @@ -1,3 +1,35 @@ +########################################################################## +# # +# This file is part of the Frama-C's MetACSL plug-in. # +# # +# Copyright (C) 2018-2022 # +# CEA (Commissariat à l'énergie atomique et aux énergies # +# alternatives) # +# # +# you can redistribute it and/or modify it under the terms of the GNU # +# Lesser General Public License as published by the Free Software # +# Foundation, version 2.1. # +# # +# It is distributed in the hope that it will be useful, # +# but WITHOUT ANY WARRANTY; without even the implied warranty of # +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # +# GNU Lesser General Public License for more details. # +# # +# See the GNU Lesser General Public License version 2.1 # +# for more details (enclosed in the file LICENSE) # +# # +########################################################################## + +################# +# Header config # +################# + +| "header_config.txt" -> frame open:"#" line:"#" close:"#" + +############# +# CONFIGURE # +############# + | ".*configure\..*" -> frame open:"#" line:"#" close:"#" ##########