class

Crytic::Runner::Run

Inherits Reference / Object

Constructors

new(msi_threshold : Float64, reporters : Crytic::Reporter::Reporters, spec_files : Array(String), subjects : Array(Subject), generator : Generator::Generator, no_mutation_factory : NoMutationFactory)

Source

Class methods

from_options(options, generator, no_mutation_factory)

Source

Instance methods

execute_original_test_suite(side_effects)

Source

generate_mutations

Source

report_final(results)

Source

report_msi(result) : Nil

Source

report_mutations(result) : Nil

Source

report_neutral_result(result) : Nil

Source

report_original_result(result) : Nil

Source

report_result(result) : Nil

Source

report_summary(result) : Nil

Source