Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#2213
[Analyses - verification behaviour] "Use guarantee" should be called "Use contracts"
(from redmine: issue id 2213, created on 2015-01-16, closed on 2015-06-05)