Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
share
libc
assert.h
Find file
Blame
History
Permalink
[libc] allow customizing filename given to __FC_assert in assert.h
· 40e41c17
Virgile Prevosto
authored
Jan 06, 2020
useful to obtain reproducible oracles even with fully normalized input files
40e41c17