Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
..
instrumentation_model
e_acsl_contract.h
Find file
Blame
History
Permalink
[eacsl] Remove obsolete libc attribute `FRAMA_C_MODEL`
· 49570f38
Basile Desloges
authored
Feb 24, 2021
49570f38