[][src]Module tarp::traces

Structs

LogicState

Used to track the state of logical conditions

Trace
TraceMap

Stores all the program traces mapped to files and provides an interface to add, query and change traces.

Enums

CoverageStat

Shows what type of coverage data is being collected by a given trace

Functions

amount_coverable

Amount of data coverable in the provided slice traces

amount_covered

Amount of data covered in the provided trace slice

coverage_percentage