From 076060bb0d2eee4471e64f58203498350f309fb7 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 14 Jun 2012 15:00:54 +0200 Subject: [PATCH] model-checker : add header (description, copyright, license) --- include/xbt/automaton.h | 8 ++++++++ include/xbt/automatonparse_promela.h | 8 ++++++++ 2 files changed, 16 insertions(+) diff --git a/include/xbt/automaton.h b/include/xbt/automaton.h index 33acf99398..56e7e6ee72 100644 --- a/include/xbt/automaton.h +++ b/include/xbt/automaton.h @@ -1,3 +1,11 @@ +/* xbt/automaton.h -- büchi automaton */ + +/* Copyright (c) 2011. The SimGrid Team. + * All rights reserved. */ + +/* This program is free software; you can redistribute it and/or modify it + * under the terms of the license (GNU LGPL) which comes with this package. */ + #ifndef _XBT_AUTOMATON_H #define _XBT_AUTOMATON_H diff --git a/include/xbt/automatonparse_promela.h b/include/xbt/automatonparse_promela.h index c80c34db2b..7fb7d5ad36 100644 --- a/include/xbt/automatonparse_promela.h +++ b/include/xbt/automatonparse_promela.h @@ -1,3 +1,11 @@ +/* xbt/automatonparse_promela.h -- implementation automaton from promela file */ + +/* Copyright (c) 2011. The SimGrid Team. + * All rights reserved. */ + +/* This program is free software; you can redistribute it and/or modify it + * under the terms of the license (GNU LGPL) which comes with this package. */ + #ifndef _XBT_AUTOMATONPARSE_PROMELA_H #define _XBT_AUTOMATONPARSE_PROMELA_H -- 2.20.1