scan/dev.gmitch215.drift.scan.atlas/Oracle

Oracle

Gives every divergent line of the dataset one OracleKind, from the transcripts and the decides lists of the references alone. The same input gives the same text on every target.

Properties

WHOLE_PROBE

const val WHOLE_PROBE: String

Functions

counts

fun counts(lines: List<OracleLine>): Map<OracleKind, Int>

describe

fun describe(lines: List<OracleLine>, indent: String = ""): List<String>

One entry per kind, with the quote and page for a contract and the targets for the rest.

lines

fun lines(dataset: Dataset, version: String): List<OracleLine>

fun lines(p: ProbeEntry, version: String): List<OracleLine>

A column that failed makes one entry for the probe, whatever its other lines say: a OracleKind.CRASH, unless the research notes the whole probe as a documented or platform-defined limit, which is OracleKind.NO_CORRECTNESS_CLAIM. Among the columns that printed values, a line is decided by a quote that names it, else by a change of value on a target measured on another version, else it carries no claim.