Interface JobProofCitation

The test a tier-1 row stands on.

interface JobProofCitation {
file: string;
test: string;
}

Index

Properties

Properties

`Readonly`file

file: string

Repo-relative path to the test file.

`Readonly`test

test: string

The test name, verbatim, as the file spells it.