diff options
| author | Hans Bolinder <[email protected]> | 2017-03-08 16:00:13 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-03-08 16:00:13 +0100 |
| commit | 32f1f62eceddd7621105af4d3f74f9d2a5ef2e5c (patch) | |
| tree | 8772a556c0d649c0dab2ddc764b755dec8422247 | |
| parent | 12d5349834f552ec9cb6ad0d51f53810acc8d51f (diff) | |
| download | otp-32f1f62eceddd7621105af4d3f74f9d2a5ef2e5c.tar.gz otp-32f1f62eceddd7621105af4d3f74f9d2a5ef2e5c.tar.bz2 otp-32f1f62eceddd7621105af4d3f74f9d2a5ef2e5c.zip | |
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. |