Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
plugins
wp
ProverWhy3.ml
Find file
Blame
History
Permalink
Merge branch '775-boolean-comparisons-are-unusable-in-wp' into 'master'
· a783ea6d
Loïc Correnson
authored
Dec 20, 2019
Resolve "boolean comparisons are unusable in WP" Closes #775 See merge request frama-c/frama-c!2490
a783ea6d