Crate certeza 

certeza has moved to aprender-verify.

This crate re-exports aprender-verify for backward compatibility. New code should depend on aprender-verify directly.

Modules

benchmark

Scientific benchmarking infrastructure for certeza

chaos

Chaos Engineering Module

vec

TruenoVec - A Growable Array Type with Verified Correctness

Structs

BenchmarkMetadata

Environmental metadata for reproducibility

BenchmarkReport

Complete benchmark report with metadata and results

BenchmarkResult

Individual benchmark result

BenchmarkSummary

Summary across all benchmarks

Comparison

Comparison against baseline

CpuInfo

CPU details

Distribution

Distribution analysis

EnvironmentConfig

Runtime configuration

HardwareInfo

Hardware specifications

IntoIter

Consuming iterator over TruenoVec<T>.

Iter

Immutable iterator over TruenoVec<T>.

IterMut

Mutable iterator over TruenoVec<T>.

Measurements

Measurement data and statistics

MemoryInfo

Memory details

SoftwareInfo

Software environment

Statistics

Statistical summary

StorageInfo

Storage details

TruenoVec

A growable array type with verified correctness properties.

Functions

add

Adds two numbers together.

multiply

Multiplies two numbers together.

subtract

Subtracts one number from another.