# Counterexample

`import { Counterexample } from "destack:fuzz";`

Minimal failing fuzz example.

```ds title="Counterexample"
export struct Counterexample<T> {
    value: T;
    sample: Sample;
    shrinks: uint32;
    replay: Replay;
}
```

[language/library/src/fuzz/corpus.ds:21:33](https://github.com/destack-sh/destack/blob/main/language/library/src/fuzz/corpus.ds#L21-L33)

## Members

### `value: T`

Failing value.

### `sample: Sample`

Sample metadata that produced this value.

### `shrinks: uint32`

Shrink count from the original failing sample.

### `replay: Replay`

Replay input when available.