MetAcsl now has a Changelog. Beyond compatibility with Frama-C 24.0 Chromium and OCaml 4.13, main changes include:
- new meta-variable family
\called_arg(n)
in the\calling
context - new meta-variable
\func
in all contexts - new warning category
unknown-func
, aborting by default, for names in target set that do not correspond to a function in the program.
Download the archive: frama-c-metacsl-0.2.tar.gz