Behaviour Preservation across Code Versions in Erlang

Listing 7

SecEr reports discrepancies using variable X as the POI.

$  ./secer -pois "test_happy:relX()" -funs "test_happy:funs()" -to 15

Function: main/2

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

Generated test cases: 1624

Mismatching test cases: 64 (3.94%)

   POIs comparison:

      + ’happy0.erl’,9,var,’X’,1,

       ’happy1.erl’,18,var,’X’,1

            The second trace is longer => 64 Errors

            Example call: main(6,3)

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

Call: main(6,3)

Error Type: The second trace is longer

POI: (’happy0.erl’,9,var,’X’,1) trace:

      [6,7,8,9,10,11,12,13]

POI: (’happy1.erl’,18,var,’X’,1) trace:

      [6,7,8,9,10,11,12,13,14,15,16,17,18,19]

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