Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
tests
builtins
oracle
Longinit_sequencer.res.oracle
Find file
Blame
History
Permalink
[Eva] Updates test oracles.
· d360eb30
David Bühler
authored
Apr 04, 2020
Only one builtin for the allocation functions.
d360eb30