diff options
author | Hans Bolinder <[email protected]> | 2016-07-06 08:31:56 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2016-07-06 08:31:56 +0200 |
commit | 3b409021a70427bb2fe3834707edf822b6afce2d (patch) | |
tree | af8438806a91484a9bb1c7d33158548af67c3bea /lib/dialyzer/test/dialyzer_common.erl | |
parent | a94f909586a7b69ba2f4539f4c40e3600cf705d2 (diff) | |
parent | 784f845e2d1ec66b9505339b4b0e43d55c2d49a9 (diff) | |
download | otp-3b409021a70427bb2fe3834707edf822b6afce2d.tar.gz otp-3b409021a70427bb2fe3834707edf822b6afce2d.tar.bz2 otp-3b409021a70427bb2fe3834707edf822b6afce2d.zip |
Merge branch 'margnus1/dialyzer/suppress_warns/ERL-159/PR-1121/OTP-13723' into maint
* margnus1/dialyzer/suppress_warns/ERL-159/PR-1121/OTP-13723:
dialyzer: Suppress warns on generated case stmts
Diffstat (limited to 'lib/dialyzer/test/dialyzer_common.erl')
-rw-r--r-- | lib/dialyzer/test/dialyzer_common.erl | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/lib/dialyzer/test/dialyzer_common.erl b/lib/dialyzer/test/dialyzer_common.erl index d2b1026c06..48083a2731 100644 --- a/lib/dialyzer/test/dialyzer_common.erl +++ b/lib/dialyzer/test/dialyzer_common.erl @@ -7,7 +7,7 @@ -module(dialyzer_common). --export([check_plt/1, check/4, create_all_suites/0, new_tests/2]). +-export([check_plt/1, check/4, create_all_suites/0, new_tests/2, plt_file/1]). -include_lib("kernel/include/file.hrl"). @@ -39,7 +39,7 @@ check_plt(OutDir) -> io:format("Checking plt:"), - PltFilename = filename:join(OutDir, ?plt_filename), + PltFilename = plt_file(OutDir), case file:read_file_info(PltFilename) of {ok, _} -> dialyzer_check_plt(PltFilename); {error, _ } -> @@ -63,6 +63,11 @@ check_plt(OutDir) -> end end. +-spec plt_file(string()) -> string(). + +plt_file(OutDir) -> + filename:join(OutDir, ?plt_filename). + dialyzer_check_plt(PltFilename) -> try dialyzer:run([{analysis_type, plt_check}, {init_plt, PltFilename}]) of @@ -119,7 +124,7 @@ build_plt(PltFilename) -> 'same' | {differ, [term()]}. check(TestCase, Opts, Dir, OutDir) -> - PltFilename = filename:join(OutDir, ?plt_filename), + PltFilename = plt_file(OutDir), SrcDir = filename:join(Dir, ?input_files_directory), ResDir = filename:join(Dir, ?result_files_directory), Filename = filename:join(SrcDir, atom_to_list(TestCase)), |