vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

//! Meta-mutation catalog — how to corrupt a checker, interpreter, oracle,
//! or gate.
//!
//! The op-level mutation catalog in [`crate::adversarial::mutations`] corrupts vyre ops:
//! swap `+` for `-`, delete a law, invert a comparison. This meta-level
//! catalog corrupts vyre-conform's own internals: make a checker skip a
//! boundary, make an oracle resolver downgrade to property, make the
//! mutation probe lie about a kill.
//!
//! Every meta-mutation is mechanical. [`apply`] takes a source file and
//! returns the corrupted bytes. [`class_of`] returns the [`MetaMutationClass`]
//! a mutation belongs to, used by [`ComponentSpec::meta_mutation_sensitivity`]
//! to declare which classes a component's test set must survive.
//!
//! [`ComponentSpec::meta_mutation_sensitivity`]: crate::meta::component::ComponentSpec::meta_mutation_sensitivity

mod apply;
mod discover;
mod error;
mod kind;

pub use apply::apply;
pub use discover::discover;
pub use error::MetaMutationError;
pub use kind::{class_of, MetaMutation, MetaMutationClass, MetaOperator, META_MUTATION_CATALOG};