Behaviour Preservation across Code Versions in Erlang

Listing 22

CutEr’s output for the current version.

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

Compiling orddict_new_wrong.erl... OK

Testing orddict_new_wrong:from_list/1...

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

orddict_new_wrong:from_list([])... ok

xx

orddict_new_wrong:from_list([0.0,1.0,3.0,2.0]) ... ok

xxxxxxxxxxx

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

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

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

xx

Solver Statistics...

  - Solved models: 5

  - Unsolved models: 15