Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
tests
value
strings.i
Find file
Blame
History
Permalink
[Eva] Adds minimal tests of wide string comparisons.
· e511c67e
David Bühler
authored
Jun 29, 2020
Comparison alarms are emitted for any comparison involving wide strings.
e511c67e