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

Merge branch 'julien/bugfix/eacsl-valid' into 'master' 

restore behavior of -e-acsl-valid which was broken since Jan. 2017 or so

See merge request frama-c/e-acsl!173
parents 3e9e2686 d3e80f65
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 411 additions and 126 deletions
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