Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#939
Enable the model-checker to deal with imbricated if-statements in code specifications
(from redmine: issue id 939, created on 2012-07-30, closed on 2013-01-14)