class

Crytic::Reporter::IoReporter

Inherits Crytic::Reporter::Reporter / Reference / Object

Reports crytics output into an IO. Useful for e.g. the console output

Constants

INDENT = " "

new(io : IO, timer : Crytic::Reporter::Timer = Timer.new)

report_msi(results) : Nil

intentional noop

report_mutations(mutations : Array(Generator::MutationSet)) : Nil

report_neutral_result(result) : Nil

report_original_result(original_result) : Nil

report_result(result) : Nil

report_summary(results : Mutation::ResultSet) : Nil