Research Article

Behaviour Preservation across Code Versions in Erlang

Listing 3

SecEr command format.
(1) $ā€‰ā€‰./secer -pois "LIST_OF_POIS" [-funs "INPUT_FUNCTIONS"] -to TIMEOUT [-cfun "COMPARISON_FUN"]