Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#3553
new constraint to check that an atomic component (with codeSpec or automaton) cannot produce NoVal
(from redmine: issue id 3553, created on 2018-10-18, closed on 2018-10-26)