0
運行透析器我有一個標準的目錄設置的OTP應用:二郎:你的整個應用程序
config/
log/
doc/
src/
_build/
rebar.config
我能夠在一個src文件中像dialyzer src/source_name.erl
運行透析器。但這是沒用的,因爲src/foo1
中的函數X可能會調用src/foo2
中的函數Y,並且您要確保X將正確類型的參數傳遞給Y.
如何使用dialyzer檢查所有交互之間我/src
回購函數調用?
當我嘗試這樣做,我遇到了另一個錯誤,這表示要解決這個錯誤,使用.beam:http://stackoverflow.com/questions/16723253/how-to-use-dialyzer-with-parse-transform-modules – Tommy