Summary

test_spec/0

verdict/0

Types

-type test_spec() :: eunit | {ct, atom()}.

-type verdict() :: killed | survived | timed_out | {compile_error, term()} | {skipped, term()}.

-spec compile_mutant(atom(), [erl_parse:abstract_form()]) -> {ok, binary()} | {compile_error, term()}.

-spec has_tests(atom(), test_spec()) -> boolean().

-spec load_and_test(atom(), binary(), test_spec(), pos_integer()) -> verdict().

-spec run_baseline(atom(), test_spec(), pos_integer()) ->
                      {ok, non_neg_integer()} | no_tests | {failed, term()}.

-spec run_mutant(atom(), [erl_parse:abstract_form()], test_spec(), pos_integer()) -> verdict().