Behaviour Preservation across Code Versions in Erlang

Listing 30

SecEr’s output when comparing performance.

$  ./secer -pois "test_orddict_perf:rel1()" -funs "test_orddict_perf:funs()" -to 60 -cfun "secer:lists_

comp_perf(2000)"

Function: from_list_replicate/1

----------------------------

Generated test cases: 503

Mismatching test cases: 1 (0.19%)

  POIs comparison:

    + "User Defined","User Defined"

         Unexpected trace value => 1 Errors

         Example call: from_list_replicate([[],4.686994537220225,,-1.5219780046371083,

        ...])

------ Detected Error ------

Call: from_list_replicate([[],4.686994537220225,,-1.5219780046371083,...])

Error Type: Slower Calculation: Length: 700 -> 1031 vs 22564 μs.

----------------------------