41
41
%%-----------------------------------------------------------------
43
43
%%-----------------------------------------------------------------
44
pre(M, F, [State, I]) when integer(I) ->
44
pre(M, F, [State, I]) when is_integer(I) ->
45
45
io:format("Precond called in process ~p: ~s:~s() ~p\n", [self(), M, F, [State, I]]),
47
47
pre(_M, _F, _A) -> %% Just an silly example to get an exception case