From 08412fd15e33af7ed1b89a520be2049b23c94ec5 Mon Sep 17 00:00:00 2001 From: Valentin Perrelle <valentin.perrelle@cea.fr> Date: Thu, 10 Jan 2019 17:56:54 +0100 Subject: [PATCH] [aorai] add missing aorai interface file --- headers/header_spec.txt | 1 + src/plugins/aorai/aorai_metavariables.mli | 26 +++++++++++++++++++++++ 2 files changed, 27 insertions(+) create mode 100644 src/plugins/aorai/aorai_metavariables.mli diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 9c0a53d6a38..4ea8648e40d 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -717,6 +717,7 @@ src/plugins/aorai/aorai_dataflow.mli: AORAI_LGPL src/plugins/aorai/aorai_graph.ml: AORAI_LGPL src/plugins/aorai/aorai_graph.mli: AORAI_LGPL src/plugins/aorai/aorai_metavariables.ml: AORAI_LGPL +src/plugins/aorai/aorai_metavariables.mli: AORAI_LGPL src/plugins/aorai/aorai_option.ml: AORAI_LGPL src/plugins/aorai/aorai_option.mli: AORAI_LGPL src/plugins/aorai/aorai_register.ml: AORAI_LGPL diff --git a/src/plugins/aorai/aorai_metavariables.mli b/src/plugins/aorai/aorai_metavariables.mli new file mode 100644 index 00000000000..50051d5d335 --- /dev/null +++ b/src/plugins/aorai/aorai_metavariables.mli @@ -0,0 +1,26 @@ +(**************************************************************************) +(* *) +(* This file is part of Aorai plug-in of Frama-C. *) +(* *) +(* Copyright (C) 2007-2018 *) +(* CEA (Commissariat à l'énergie atomique et aux énergies *) +(* alternatives) *) +(* INRIA (Institut National de Recherche en Informatique et en *) +(* Automatique) *) +(* INSA (Institut National des Sciences Appliquees) *) +(* *) +(* 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 licenses/LGPLv2.1). *) +(* *) +(**************************************************************************) + +val checkInitialization : Promelaast.typed_automaton -> unit -- GitLab