Module instrumentation 

Contract instrumentation and code generation (internal module).

Structs

InstrumentAction

An action to instrument a code in the source file.

RemoveAction

An action to remove a code in the source file.

SourceModifications

The collections of modifications on a source file.

Enums

InstrumentContent

The content to instrument.

Modification

The modifications on a source file.

Functions

instrument

Instruments the source code based on the analysis result.

Type Aliases

VersionRef

A reference to a version.