Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#1717
Remove division by zero check from CProver analysis
(from redmine: issue id 1717, created on 2013-09-16, closed on 2013-09-16)