Struct CheckSettings 

pub struct CheckSettings { /* private fields */ }

Available on crate features testing only.

Device, run length, thread counts, parameter overrides and exemptions of a check run.

Implementations

impl CheckSettings

pub fn gpu(self, device: GpuContext) -> Self

Runs the GPU models’ checks on device. Without a device, they are skipped.

Note that a check attributes every fault it finds in the device’s sink to itself, and clones of a context share the sink. A test that shares device with another test can have its faults dropped, or reported by a check. Each test takes its own device from headless_test_device.

pub fn ticks(self, ticks: u64) -> Self

Steps each run of a determinism check ticks ticks.

Panics

Panics when ticks is below MIN_TICKS. A shorter run takes no sample at the coarser cadence of ModelCheck::SamplingCadence past tick 0.

pub fn thread_counts(self, low: usize, high: usize) -> Self

Compares runs at low and high worker threads in ModelCheck::ThreadCount, which sizes the work to split into twice high jobs.

Panics

Panics when low is 0 or not below high.

pub fn set_text(self, model_id: &str, param_id: &str, text: &str) -> Self

Sets parameter param_id of model model_id from text, as --set reads it.

The value holds in every check that builds the model, and no check changes it. A parameter that the model does not declare, or a value that the parameter rejects, fails every such check, including a check that cannot run for want of a device.

pub fn exempt(self, model_id: &str, check: ModelCheck, reason: &str) -> Self

Skips check for model model_id, recording reason in its report.

Trait Implementations

impl Clone for CheckSettings

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CheckSettings

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for CheckSettings

No device, 20 ticks, 1 and 7 threads, no overrides and no exemptions.

fn default() -> Self

Returns the “default value” for a type.