Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
tests
tests-boolean.mlw
Find file
Blame
History
Permalink
printer smtv2: add missing cases in special handling of pattern-matching on Bool
· 80fcc07d
MARCHE Claude
authored
Jul 17, 2015
incidentally, removed also the "dirty hack"
80fcc07d