Interface Artifact

Artifact - File artifact for goal-backward verification

interface Artifact {
    min_lines?: number;
    must_contain?: string[];
    path: string;
    provides: string;
}

Index

Properties

min_lines? must_contain? path provides

Properties

`Optional`min_lines

min_lines?: number

`Optional`must_contain

must_contain?: string[]

path

path: string

provides

provides: string