84adefa331
e1336d568e
1
2
group: tools short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.