4 ms·
Interesting. My limited experimentation suggests to me that dialyzer is completely useless for non-toy code. As in you run it on some mid-sized type-annotated c
by patrec 4y ago
Interesting. My limited experimentation suggests to me that dialyzer is completely useless for non-toy code. As in you run it on some mid-sized type-annotated code and you get to powercycle your linux-box, because dialyzer's gonna gobble up so many dozen gigabytes of RAM that linux's braindamaged memory management will soon swap your machine to death. So would be nice to see some competition in this space.
- throwaway81523 4y agoI found dialyzer usable in a moderate sized VM (idr the exact size). The issue that I had with it is that it left too many errors undetected. It was better than nothing though.