Research Article

Behaviour Preservation across Code Versions in Erlang

Listing 24

Fragment of lists:ukeysort/2 with io:format/2.
(1) ukeysort(I, L) when is_integer(I), I > 0 ->
(2) io:format("Input: ~", [L]),
(3) Res =
(4)  case L of
(5)  ...
(6)  end,
(7) io:format("Output: ~", [Res]),
(8) Res.