Behaviour Preservation across Code Versions in Erlang

Algorithm 11

SecEr’s configuration file to trace values.

(1) -module(test_orddict).

(2) -compile(export_all).

(3)

(4) file(o) ->

(5)  ’orddict/orddict_old.erl’;

(6) file(l) ->

(7)  ’orddict/lists.erl’.

(8)

(9) rel1() ->

(10)  [file(o), 60, tuple, 1, file(l), 836, var, ’X’, 1,

(11)   file(o), 60, tuple, 1, file(l), 836, var, ’Y’, 1,

(12)   file(o), 60, call, 2, file(l), 839, call, 1].

(13)

(14) funs() ->

(15)  "[secer_failing_test/0]".