IssueKind

import { IssueKind } from "destack:test";

Test issue kind.

export enum IssueKind {
    Assertion = 1,
    Snapshot = 2,
    Counterexample = 3,
    Budget = 4,
    Invariant = 5,
    Panic = 6,
    Timeout = 7,
    InvalidCase = 8,
    Error = 9,
}
language/library/src/test/issue.ds:7:26

Variants

Assertion = 1

Assertion failed.

Snapshot = 2

Snapshot comparison failed.

Counterexample = 3

Fuzzing found a counterexample.

Budget = 4

Benchmark exceeded a budget.

Invariant = 5

Simulation invariant failed.

Panic = 6

Execution trapped or panicked.

Timeout = 7

Execution exceeded its deadline.

InvalidCase = 8

Test definition was invalid.

Error = 9

External operation failed.