Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#1105
Add model checking support for structs
(from redmine: issue id 1105, created on 2013-01-01, closed on 2015-03-23)