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

//! Built-in defendants for primitive.math.max.

use super::super::macros::*;
use crate::adversarial::defender::{Defendant, DefendantCatalog, DefenderClass};

#[must_use]
#[inline]
pub(crate) fn catalog_primitive_math_max() -> DefendantCatalog {
    DefendantCatalog {
        target_op_id: "primitive.math.max",
        defendants: vec![
            Defendant { id: "max_law_commutative_corruption_0", target_op_id: "primitive.math.max", description: "MAX law mutation corruption 0 falsifies the declared commutative law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: max_law_mut::<0, 0, 0>, fails_laws: &["commutative"], expected_witness: &[(0, 0)], },
            Defendant { id: "max_law_commutative_corruption_1", target_op_id: "primitive.math.max", description: "MAX law mutation corruption 1 falsifies the declared commutative law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: max_law_mut::<1, 0, 1>, fails_laws: &["commutative"], expected_witness: &[(1, 0)], },
            Defendant { id: "max_law_associative_corruption_0", target_op_id: "primitive.math.max", description: "MAX law mutation corruption 0 falsifies the declared associative law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: max_law_mut::<0, 1, 0>, fails_laws: &["associative"], expected_witness: &[(0, 1)], },
            Defendant { id: "max_law_associative_corruption_1", target_op_id: "primitive.math.max", description: "MAX law mutation corruption 1 falsifies the declared associative law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: max_law_mut::<2, 1, 1>, fails_laws: &["associative"], expected_witness: &[(2, 1)], },
            Defendant { id: "max_law_identity_0_corruption_0", target_op_id: "primitive.math.max", description: "MAX law mutation corruption 0 falsifies the declared identity(0) law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: max_law_mut::<1, 2, 0>, fails_laws: &["identity(0)"], expected_witness: &[(1, 2)], },
            Defendant { id: "max_law_identity_0_corruption_1", target_op_id: "primitive.math.max", description: "MAX law mutation corruption 1 falsifies the declared identity(0) law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: max_law_mut::<0xFFFFFFFF, 1, 1>, fails_laws: &["identity(0)"], expected_witness: &[(0xFFFFFFFF, 1)], },
            Defendant { id: "max_law_idempotent_corruption_0", target_op_id: "primitive.math.max", description: "MAX law mutation corruption 0 falsifies the declared idempotent law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: max_law_mut::<0x80000000, 2, 0>, fails_laws: &["idempotent"], expected_witness: &[(0x80000000, 2)], },
            Defendant { id: "max_law_idempotent_corruption_1", target_op_id: "primitive.math.max", description: "MAX law mutation corruption 1 falsifies the declared idempotent law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: max_law_mut::<0xDEADBEEF, 0x55555555, 1>, fails_laws: &["idempotent"], expected_witness: &[(0xDEADBEEF, 0x55555555)], },
            Defendant { id: "max_law_absorbing_4294967295_corruption_0", target_op_id: "primitive.math.max", description: "MAX law mutation corruption 0 falsifies the declared absorbing(4294967295) law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: max_law_mut::<0, 0, 0>, fails_laws: &["absorbing(4294967295)"], expected_witness: &[(0, 0)], },
            Defendant { id: "max_law_absorbing_4294967295_corruption_1", target_op_id: "primitive.math.max", description: "MAX law mutation corruption 1 falsifies the declared absorbing(4294967295) law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: max_law_mut::<1, 0, 1>, fails_laws: &["absorbing(4294967295)"], expected_witness: &[(1, 0)], },
        ],
    }
}