blob: ed6810634f7467e9b7c72d3eec468f3b13d9a67d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
%%---------------------------------------------------------------------------
%% A test case with:
%% - a genuine matching error -- 1st branch
%% - a violation of the opacity of timer:tref() -- 2nd branch
%% - a subtle violation of the opacity of timer:tref() -- 3rd branch
%% The test is supposed to check that these cases are treated properly.
%%---------------------------------------------------------------------------
-module(timer_use).
-export([wrong/0]).
-spec wrong() -> error.
wrong() ->
case timer:kill_after(42, self()) of
gazonk -> weird;
{ok, 42} -> weirder;
{Tag, gazonk} when Tag =/= error -> weirdest;
{error, _} -> error
end.
|