Behaviour Preservation across Code Versions in Erlang

Listing 6

SecEr reports discrepancies between is_happy call as POI.

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

Function: main/2

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

Generated test cases: 1151

Mismatching test cases: 39 (3.38%)

   POIs comparison:

      + ‘happy0.erl’,9,call,1,

       ‘happy1.erl’,18,call,1

            Unexpected trace value => 39 Errors

            Example call: main(4,2)

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

Call: main(4,2)

Error detected: Unexpected trace value

POI: (‘happy0.erl’,9,call,1) trace:

      [false,false,false,true,false,false,true]

POI: (‘happy1.erl’,18,call,1) trace:

      [false,false,false,false,false,false,true,false,false,true]

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