// Instrumented-to-original source mapping.
// Each entry is an array where
// first element is the source range of instrumented source,
// and second element is the corresponding source range of original source.
"61:532:0", // Source range in instrumented source
"37:139:0" // Source range in original source
// ... may contain multiple entries ...
// Source ranges of additional instrumented code added by scribble.
// I.e. this code doesn't directly correspond to un-instrumented code.
"otherInstrumentation": [
"681:38:0", // Source range in instrumented source
// ... may contain multiple entries ...
// Information for each annotation declared in the orignal code
// Unique Annotation id (assigned internaly by scribble).
// Contract where annotation was defined
// Original file name where annotation was defined
"filename": "sample.sol",
// The source range of the annotation expression in the original file.
// For example in the annotation `if_succeeds {:msg "P0"} y == x + 1;`
// the range would correspond to the `y = x + 1` fragment.
"propertySource": "85:11:0",
// The source range of a whole annotation in the original file.
// For example in the annotation `if_succeeds {:msg "P0"} y == x + 1;`
// the range would correspond to the entire `if_succeeds {:msg "P0"} y == x + 1;` fragment.
"annotationSource": "61:36:0",
// Type of the annotation target (currently either function, contract, statement or state variable)
// Name of the annotation target.
// The signature (4 bytes in hex) for an additional debug event emitted when this annotation fails.
"debugEventSignature": "",
// The human-readable label for this annotation.
// For example in the annotation `if_succeeds {:msg "P0"} y == x + 1;`
// this is the `P0` string.
// Array of source ranges of instrumentation code
// that corresponding to this annotation.
"instrumentationRanges": [
// ... may contain multiple entries ...
// Array of source ranges of instrumentation fragments
// that correspond to the annotation predicate evaluation.
// ... may contain multiple entries ...
// Array of the original source file names,
// that have been instrumentated.
// Array of the generated instrumentation file names.
// `"--"` indicates we are outputing to STDOUT instead of files.