Skip to content
GitLab
Explore
Sign in
Stefan Gränitz
Frama Clang
Repository
frama-clang
tests
stl
oracle
stl_bool.res.oracle
Find file
Blame
History
Permalink
synchronize with frama-c/frama-c!3257
· 57b10a76
Andre Maroneze
authored
Jun 25, 2021
and
Virgile Prevosto
committed
Jul 06, 2021
57b10a76