Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
tests
cil
Change_formals.ml
Find file
Blame
History
Permalink
[tests] also tests should use Cil.update_var_type
· de65a6c4
Virgile Prevosto
authored
Apr 01, 2020
de65a6c4