Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#2518
Failing NuSMV-based tests need better error output.
(from redmine: issue id 2518, created on 2016-03-11, closed on 2016-03-11)
Relations:
parent
#2508 (closed)