Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#1444
Problems in displaying the counterexample as text
strange toString call
(from redmine: issue id 1444, created on 2013-07-02, closed on 2013-07-02)