class Crytic::Runner

Crytic::Runner
Reference
Object

Defined in:

Constructors

.new(threshold : Threshold = 100.0, reporters : Array(Crytic::Reporter::Reporter) = [Reporter::IoReporter.new(STDOUT)] of Reporter::Reporter, generator : Generator = InMemoryMutationsGenerator.new)

Instance Method Summary

#run(source : String, specs : Array(String)) : Bool

Constructor Detail

def self.new(threshold : Threshold = 100.0, reporters : Array(Crytic::Reporter::Reporter) = [Reporter::IoReporter.new(STDOUT)] of Reporter::Reporter, generator : Generator = InMemoryMutationsGenerator.new) #

[View source]

Instance Method Detail

def run(source : String, specs : Array(String)) : Bool #