Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#3552
new constraint to check that an atomic component (with automata) cannot produce NoVal
(from redmine: issue id 3552, created on 2018-10-16, closed on 2018-10-21)