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
34
35
36
37
38
39
40
41
42
43
44
45
46

//! Built-in defendants for primitive.bitwise.not.

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

#[must_use]
#[inline]
pub(crate) fn catalog_primitive_bitwise_not() -> DefendantCatalog {
    DefendantCatalog {
        target_op_id: "primitive.bitwise.not",
        defendants: vec![
            Defendant { id: "not_bit_param_0_mode_0", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 0 at parameter 0 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0, 0>, fails_laws: &["involution"], expected_witness: &[(0, 0)], },
            Defendant { id: "not_bit_param_0_mode_1", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 1 at parameter 0 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0, 1>, fails_laws: &["involution"], expected_witness: &[(0, 0)], },
            Defendant { id: "not_bit_param_0_mode_2", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 2 at parameter 0 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0, 2>, fails_laws: &["involution"], expected_witness: &[(0, 0)], },
            Defendant { id: "not_bit_param_0_mode_3", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 3 at parameter 0 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0, 3>, fails_laws: &["involution"], expected_witness: &[(0, 0)], },
            Defendant { id: "not_bit_param_0_mode_4", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 4 at parameter 0 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0, 4>, fails_laws: &["involution"], expected_witness: &[(0, 0)], },
            Defendant { id: "not_bit_param_xffffffff_mode_0", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 0 at parameter 0xFFFFFFFF returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0xFFFFFFFF, 0>, fails_laws: &["involution"], expected_witness: &[(0xFFFFFFFF, 0)], },
            Defendant { id: "not_bit_param_xffffffff_mode_1", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 1 at parameter 0xFFFFFFFF returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0xFFFFFFFF, 1>, fails_laws: &["involution"], expected_witness: &[(0xFFFFFFFF, 0)], },
            Defendant { id: "not_bit_param_xffffffff_mode_2", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 2 at parameter 0xFFFFFFFF returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0xFFFFFFFF, 2>, fails_laws: &["involution"], expected_witness: &[(0xFFFFFFFF, 0)], },
            Defendant { id: "not_bit_param_xffffffff_mode_3", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 3 at parameter 0xFFFFFFFF returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0xFFFFFFFF, 3>, fails_laws: &["involution"], expected_witness: &[(0xFFFFFFFF, 0)], },
            Defendant { id: "not_bit_param_xffffffff_mode_4", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 4 at parameter 0xFFFFFFFF returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0xFFFFFFFF, 4>, fails_laws: &["involution"], expected_witness: &[(0xFFFFFFFF, 0)], },
            Defendant { id: "not_bit_param_x55555555_mode_0", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 0 at parameter 0x55555555 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x55555555, 0>, fails_laws: &["involution"], expected_witness: &[(0x55555555, 0)], },
            Defendant { id: "not_bit_param_x55555555_mode_1", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 1 at parameter 0x55555555 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x55555555, 1>, fails_laws: &["involution"], expected_witness: &[(0x55555555, 0)], },
            Defendant { id: "not_bit_param_x55555555_mode_2", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 2 at parameter 0x55555555 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x55555555, 2>, fails_laws: &["involution"], expected_witness: &[(0x55555555, 0)], },
            Defendant { id: "not_bit_param_x55555555_mode_3", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 3 at parameter 0x55555555 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x55555555, 3>, fails_laws: &["involution"], expected_witness: &[(0x55555555, 0)], },
            Defendant { id: "not_bit_param_x55555555_mode_4", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 4 at parameter 0x55555555 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x55555555, 4>, fails_laws: &["involution"], expected_witness: &[(0x55555555, 0)], },
            Defendant { id: "not_bit_param_xaaaaaaaa_mode_0", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 0 at parameter 0xAAAAAAAA returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0xAAAAAAAA, 0>, fails_laws: &["involution"], expected_witness: &[(0xAAAAAAAA, 0)], },
            Defendant { id: "not_bit_param_xaaaaaaaa_mode_1", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 1 at parameter 0xAAAAAAAA returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0xAAAAAAAA, 1>, fails_laws: &["involution"], expected_witness: &[(0xAAAAAAAA, 0)], },
            Defendant { id: "not_bit_param_xaaaaaaaa_mode_2", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 2 at parameter 0xAAAAAAAA returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0xAAAAAAAA, 2>, fails_laws: &["involution"], expected_witness: &[(0xAAAAAAAA, 0)], },
            Defendant { id: "not_bit_param_xaaaaaaaa_mode_3", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 3 at parameter 0xAAAAAAAA returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0xAAAAAAAA, 3>, fails_laws: &["involution"], expected_witness: &[(0xAAAAAAAA, 0)], },
            Defendant { id: "not_bit_param_xaaaaaaaa_mode_4", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 4 at parameter 0xAAAAAAAA returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0xAAAAAAAA, 4>, fails_laws: &["involution"], expected_witness: &[(0xAAAAAAAA, 0)], },
            Defendant { id: "not_bit_param_x0000001f_mode_0", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 0 at parameter 0x0000001F returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x0000001F, 0>, fails_laws: &["involution"], expected_witness: &[(0x0000001F, 0)], },
            Defendant { id: "not_bit_param_x0000001f_mode_1", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 1 at parameter 0x0000001F returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x0000001F, 1>, fails_laws: &["involution"], expected_witness: &[(0x0000001F, 0)], },
            Defendant { id: "not_bit_param_x0000001f_mode_2", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 2 at parameter 0x0000001F returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x0000001F, 2>, fails_laws: &["involution"], expected_witness: &[(0x0000001F, 0)], },
            Defendant { id: "not_bit_param_x0000001f_mode_3", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 3 at parameter 0x0000001F returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x0000001F, 3>, fails_laws: &["involution"], expected_witness: &[(0x0000001F, 0)], },
            Defendant { id: "not_bit_param_x0000001f_mode_4", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 4 at parameter 0x0000001F returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x0000001F, 4>, fails_laws: &["involution"], expected_witness: &[(0x0000001F, 0)], },
            Defendant { id: "not_bit_param_x00000020_mode_0", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 0 at parameter 0x00000020 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x00000020, 0>, fails_laws: &["involution"], expected_witness: &[(0x00000020, 0)], },
            Defendant { id: "not_bit_param_x00000020_mode_1", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 1 at parameter 0x00000020 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x00000020, 1>, fails_laws: &["involution"], expected_witness: &[(0x00000020, 0)], },
            Defendant { id: "not_bit_param_x00000020_mode_2", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 2 at parameter 0x00000020 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x00000020, 2>, fails_laws: &["involution"], expected_witness: &[(0x00000020, 0)], },
            Defendant { id: "not_bit_param_x00000020_mode_3", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 3 at parameter 0x00000020 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x00000020, 3>, fails_laws: &["involution"], expected_witness: &[(0x00000020, 0)], },
            Defendant { id: "not_bit_param_x00000020_mode_4", target_op_id: "primitive.bitwise.not", description: "NOT bitwise mutation mode 4 at parameter 0x00000020 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: not_bit_mut::<0x00000020, 4>, fails_laws: &["involution"], expected_witness: &[(0x00000020, 0)], },
            Defendant { id: "not_law_involution_corruption_0", target_op_id: "primitive.bitwise.not", description: "NOT law mutation corruption 0 falsifies the declared involution law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: not_law_mut::<0, 0, 0>, fails_laws: &["involution"], expected_witness: &[(0, 0)], },
            Defendant { id: "not_law_involution_corruption_1", target_op_id: "primitive.bitwise.not", description: "NOT law mutation corruption 1 falsifies the declared involution law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: not_law_mut::<1, 0, 1>, fails_laws: &["involution"], expected_witness: &[(1, 0)], },
        ],
    }
}