Behaviour Preservation across Code Versions in Erlang

Listing 8

SecEr reports that no discrepancies exist.

$  ./secer -pois "test_string:rel()" -funs "test_string:funs()" -to 15

Function: tokens/2

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

Generated test cases: 118878

Both versions of the program generate identical traces for the defined points of interest