diff options
| author | Hans Bolinder <[email protected]> | 2017-03-10 12:28:29 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-03-10 12:28:29 +0100 |
| commit | 586341167767bb0e569bbc203390aef71588ce4f (patch) | |
| tree | 9923e1cafa2b93797890b36f7db688b3bbe7f27a | |
| parent | 2612cb5bd0ebe7b1ff607e19bddfcb9b29bcfbc5 (diff) | |
| parent | 32f1f62eceddd7621105af4d3f74f9d2a5ef2e5c (diff) | |
| download | otp-586341167767bb0e569bbc203390aef71588ce4f.tar.gz otp-586341167767bb0e569bbc203390aef71588ce4f.tar.bz2 otp-586341167767bb0e569bbc203390aef71588ce4f.zip | |
Merge branch 'hasse/dialyzer/fix_plt_suite'
* hasse/dialyzer/fix_plt_suite:
dialyzer: Correct a test case
| -rw-r--r-- | lib/dialyzer/test/plt_SUITE.erl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/dialyzer/test/plt_SUITE.erl b/lib/dialyzer/test/plt_SUITE.erl index fbfa979e1b..ba153c1c27 100644 --- a/lib/dialyzer/test/plt_SUITE.erl +++ b/lib/dialyzer/test/plt_SUITE.erl @@ -260,6 +260,8 @@ remove_plt(Config) -> ok. bad_dialyzer_attr(Config) -> + PrivDir = ?config(priv_dir, Config), + Plt = filename:join(PrivDir, "plt_bad_dialyzer_attr.plt"), Prog1 = <<"-module(dial). -dialyzer({no_return, [undef/0]}).">>, {ok, Beam1} = compile(Config, Prog1, dial, []), @@ -267,7 +269,7 @@ bad_dialyzer_attr(Config) -> "Analysis failed with error:\n" "Could not scan the following file(s):\n" " Unknown function undef/0 in line " ++ _} = - (catch run_dialyzer(plt_build, [Beam1], [])), + (catch run_dialyzer(plt_build, [Beam1], [{output_plt, Plt}])), Prog2 = <<"-module(dial). -dialyzer({no_return, [{undef,1,2}]}).">>, @@ -276,7 +278,7 @@ bad_dialyzer_attr(Config) -> "Analysis failed with error:\n" "Could not scan the following file(s):\n" " Bad function {undef,1,2} in line " ++ _} = - (catch run_dialyzer(plt_build, [Beam2], [])), + (catch run_dialyzer(plt_build, [Beam2], [{output_plt, Plt}])), ok. |