Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
..
oracle
manydeps.dot
Find file
Blame
History
Permalink
[dive] use local variables instead of globals in this test
· 5a8c3222
Valentin Perrelle
authored
Oct 12, 2020
and
David Bühler
committed
Nov 18, 2020
5a8c3222