Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
share
whyitp
whyitp.el
Find file
Blame
History
Permalink
Added a real end of goal for PG.
· c92dfdd3
Sylvain Dailler
authored
Oct 26, 2016
On some examples, goal was cut when first end was encountered.
c92dfdd3