Behaviour Preservation across Code Versions in Erlang

Listing 19

PropEr’s output for the first property.

> orddict_t1:test().

............................!

Failed: After 29 test(s).

An exception was raised: error:badmatch,false.

Stacktrace: [orddict_t1,’-prop_equivalent_dict_modules/0-fun-0-’,1,

             [file,"orddict_t1.erl",line,25]].

[1,1,1,-2]

Shrinking...(3 time(s))

[1,false,1,true]

false