aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2017-03-08 16:00:13 +0100
committerHans Bolinder <[email protected]>2017-03-08 16:00:13 +0100
commit32f1f62eceddd7621105af4d3f74f9d2a5ef2e5c (patch)
tree8772a556c0d649c0dab2ddc764b755dec8422247 /lib/dialyzer
parent12d5349834f552ec9cb6ad0d51f53810acc8d51f (diff)
downloadotp-32f1f62eceddd7621105af4d3f74f9d2a5ef2e5c.tar.gz
otp-32f1f62eceddd7621105af4d3f74f9d2a5ef2e5c.tar.bz2
otp-32f1f62eceddd7621105af4d3f74f9d2a5ef2e5c.zip
dialyzer: Correct a test case
Diffstat (limited to 'lib/dialyzer')
-rw-r--r--lib/dialyzer/test/plt_SUITE.erl6
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.