Behaviour Preservation across Code Versions in Erlang

Algorithm 10

SecEr’s configuration file to identify discrepancies.

(1) -module(test_orddict).

(2) -compile(export_all).

(3)

(4) file(o) ->

(5)  ’orddict/orddict_old.erl’;

(6) file(n) ->

(7)  ’orddict/orddict_new_wrong.erl’;

(8)

(9) rel1() ->

(10)  [file(o), 60, call, , file(n), 59, list, ,

(11)    file(o), 60, call, , file(n), 60, var, ’Pair’, ,

(12)   file(o), 60, call, , file(n), 62, call, ].

(13)

(14) funs() ->

(15)  "[from_list/1]".