Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
tests
crowbar
constfold.ml
Find file
Blame
History
Permalink
[crowbar] don't use too large constants
· e3fc0281
Virgile Prevosto
authored
Mar 02, 2020
apart from overflowing float-to-int conversions, they're not really useful
e3fc0281