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
26
27
28
29
30
31
32
33

//! Built-in defendants for primitive.compare.lt.

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

#[must_use]
#[inline]
pub(crate) fn catalog_primitive_compare_lt() -> DefendantCatalog {
    DefendantCatalog {
        target_op_id: "primitive.compare.lt",
        defendants: vec![
            Defendant { id: "lt_cmp_triple_0_mode_0", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 0 corrupts boundary triple (0, 0) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0, 0, 0>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0, 0)], },
            Defendant { id: "lt_cmp_triple_0_mode_1", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 1 corrupts boundary triple (0, 0) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0, 0, 1>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0, 0)], },
            Defendant { id: "lt_cmp_triple_0_mode_2", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 2 corrupts boundary triple (0, 0) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0, 0, 2>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0, 0)], },
            Defendant { id: "lt_cmp_triple_0_mode_3", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 3 corrupts boundary triple (0, 0) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0, 0, 3>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0, 0)], },
            Defendant { id: "lt_cmp_triple_0_mode_4", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 4 corrupts boundary triple (0, 0) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0, 0, 4>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0, 0)], },
            Defendant { id: "lt_cmp_triple_1_mode_0", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 0 corrupts boundary triple (0xFFFFFFFF, 0) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0xFFFFFFFF, 0, 0>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0xFFFFFFFF, 0)], },
            Defendant { id: "lt_cmp_triple_1_mode_1", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 1 corrupts boundary triple (0xFFFFFFFF, 0) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0xFFFFFFFF, 0, 1>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0xFFFFFFFF, 0)], },
            Defendant { id: "lt_cmp_triple_1_mode_2", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 2 corrupts boundary triple (0xFFFFFFFF, 0) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0xFFFFFFFF, 0, 2>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0xFFFFFFFF, 0)], },
            Defendant { id: "lt_cmp_triple_1_mode_3", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 3 corrupts boundary triple (0xFFFFFFFF, 0) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0xFFFFFFFF, 0, 3>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0xFFFFFFFF, 0)], },
            Defendant { id: "lt_cmp_triple_1_mode_4", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 4 corrupts boundary triple (0xFFFFFFFF, 0) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0xFFFFFFFF, 0, 4>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0xFFFFFFFF, 0)], },
            Defendant { id: "lt_cmp_triple_2_mode_0", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 0 corrupts boundary triple (0x80000000, 0x7FFFFFFF) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0x80000000, 0x7FFFFFFF, 0>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0x80000000, 0x7FFFFFFF)], },
            Defendant { id: "lt_cmp_triple_2_mode_1", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 1 corrupts boundary triple (0x80000000, 0x7FFFFFFF) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0x80000000, 0x7FFFFFFF, 1>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0x80000000, 0x7FFFFFFF)], },
            Defendant { id: "lt_cmp_triple_2_mode_2", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 2 corrupts boundary triple (0x80000000, 0x7FFFFFFF) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0x80000000, 0x7FFFFFFF, 2>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0x80000000, 0x7FFFFFFF)], },
            Defendant { id: "lt_cmp_triple_2_mode_3", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 3 corrupts boundary triple (0x80000000, 0x7FFFFFFF) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0x80000000, 0x7FFFFFFF, 3>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0x80000000, 0x7FFFFFFF)], },
            Defendant { id: "lt_cmp_triple_2_mode_4", target_op_id: "primitive.compare.lt", description: "LT comparison mutation mode 4 corrupts boundary triple (0x80000000, 0x7FFFFFFF) into a non-boolean or inverted answer.", class: DefenderClass::Backdoor, broken_fn: lt_cmp_mut::<0x80000000, 0x7FFFFFFF, 4>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0x80000000, 0x7FFFFFFF)], },
            Defendant { id: "lt_law_self_inverse_0_corruption_0", target_op_id: "primitive.compare.lt", description: "LT law mutation corruption 0 falsifies the declared self-inverse(0) law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: lt_law_mut::<0, 0, 0>, fails_laws: &["self-inverse(0)"], expected_witness: &[(0, 0)], },
            Defendant { id: "lt_law_self_inverse_0_corruption_1", target_op_id: "primitive.compare.lt", description: "LT law mutation corruption 1 falsifies the declared self-inverse(0) law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: lt_law_mut::<1, 0, 1>, fails_laws: &["self-inverse(0)"], expected_witness: &[(1, 0)], },
            Defendant { id: "lt_law_bounded_0_1_corruption_0", target_op_id: "primitive.compare.lt", description: "LT law mutation corruption 0 falsifies the declared bounded(0,1) law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: lt_law_mut::<0, 1, 0>, fails_laws: &["bounded(0,1)"], expected_witness: &[(0, 1)], },
            Defendant { id: "lt_law_bounded_0_1_corruption_1", target_op_id: "primitive.compare.lt", description: "LT law mutation corruption 1 falsifies the declared bounded(0,1) law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: lt_law_mut::<2, 1, 1>, fails_laws: &["bounded(0,1)"], expected_witness: &[(2, 1)], },
        ],
    }
}