Module prelude 

Convenience re-exports for the most common items across the suite.

use dev_tools::prelude::*; to pull in the schema types (Report, CheckResult, Verdict, Severity, Evidence, the Producer trait) plus MultiReport and Diff. Optional per-feature items (fixtures::TempProject, bench::Benchmark, etc.) are NOT in the prelude — pull them in directly via the re-exported sub-crate modules.

Example

use dev_tools::prelude::*;

let mut r = Report::new("my-crate", "0.1.0");
r.push(CheckResult::pass("compile"));
r.finish();
assert!(r.passed());

Structs

CheckResult

Result of a single check.

Diff

Result of comparing two Reports.

DiffOptions

Options controlling diff sensitivity.

Evidence

A piece of structured evidence backing a CheckResult.

FileRef

Reference to a file at a specific (optional) line range.

MultiReport

Aggregate of multiple Reports emitted in a single run.

Report

A full report. The output of one verification run.

Enums

EvidenceData

Typed payload for an Evidence attachment.

EvidenceKind

Discriminator describing the shape of an Evidence payload.

Severity

Severity classification when a check fails or warns.

Verdict

Top-level verdict for a check or a whole report.

Traits

Producer

A producer of reports. Implement this on your harness type to integrate with the dev-* suite.