Skip to content
Snippets Groups Projects
Commit 316fd0a0 authored by Julien Signoles's avatar Julien Signoles
Browse files

changelog

parent c7b23b7f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/doc/Changelog
+ 6
− 0
View file @ 316fd0a0
...@@ -19,6 +19,12 @@ ...@@ -19,6 +19,12 @@
# configure configure # configure configure
############################################################################### ###############################################################################
- runtime [2019/02/26] The behavior of __e_acsl_assert now depends on the
runtime value of the global variable __e_acsl_sound_verdict:
if 0, it means that its verdict is possibly incorrect.
- E-ACSL [2019/02/26] New option -e-acsl-instrument to instrument
only a specified set of functions. It may lead to incorrect
verdicts.
- E-ACSL [2019/02/19] New option -e-acsl-functions to monitor only - E-ACSL [2019/02/19] New option -e-acsl-functions to monitor only
annotations in a white list of functions. annotations in a white list of functions.
-* runtime [2019/02/04] Fix initialization of the E-ACSL runtime in -* runtime [2019/02/04] Fix initialization of the E-ACSL runtime in
......
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