Behaviour Preservation across Code Versions in Erlang

Listing 21

CutEr’s output for the old version (trimmed).

$  ./cuter orddict_oldfrom_list ’[[0,1]]’ -r -v

Compiling orddict_old.erl... OK

Testing orddict_old:from_list/1...

orddict_old:from_list([0,1])... ok

xxx

orddict_old:from_list([])... ok

...

orddict_old:from_list([0,0.0,0,1.0])... ok

...

orddict_old:from_list([[],0.0,[],1.0])... ok

...

orddict_old:from_list([0,0.0,0,1.0,4,2.0])... ok

...

Solver Statistics...

  - Solved models: 84

  - Unsolved models: 432