blob: d5881dc3aaf7de72a119c0b1a2ad82381ed0a56f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
%% This suite is the only hand made and simply
%% checks if we can build a plt.
-module(plt_tests_SUITE).
-include_lib("common_test/include/ct.hrl").
-include("dialyzer_test_constants.hrl").
-export([suite/0, all/0, build_plt/1]).
suite() ->
[{timetrap, ?plt_timeout}].
all() -> [build_plt].
build_plt(Config) ->
OutDir = ?config(priv_dir, Config),
case dialyzer_common:check_plt(OutDir) of
ok -> ok;
fail -> ct:fail(plt_build_fail)
end.
|
