Skip to content
Snippets Groups Projects
Commit dd32d320 authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov Committed by Kostyantyn Vorobyov
Browse files

[RTL] Doxyhen comments for e_acsl.h

parent 5c353fc5
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/share/e-acsl/e_acsl.h
+ 7
− 7
View file @ dd32d320
...@@ -20,17 +20,17 @@ ...@@ -20,17 +20,17 @@
/* */ /* */
/**************************************************************************/ /**************************************************************************/
/************************/ /*! ***********************************************************************
/* Standard C functions */ * \file e_acsl.h
/************************/ * \brief E-ACSL Public API for functionality shared by all memory models
***************************************************************************/
#ifndef E_ACSL #ifndef E_ACSL
#define E_ACSL #define E_ACSL
/*****************************/ /******************************/
/* Dedicated E-ACSL function */ /* Dedicated E-ACSL assertion */
/*****************************/ /******************************/
/*@ requires predicate != 0; /*@ requires predicate != 0;
@ assigns \nothing; */ @ assigns \nothing; */
void __e_acsl_assert(int predicate, void __e_acsl_assert(int predicate,
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment