/Frama-C-Inline

Inlining of ACSL predicates and logic functions

Primary LanguageOCaml

Stargazers