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.shl.

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

#[must_use]
#[inline]
pub(crate) fn catalog_primitive_bitwise_shl() -> DefendantCatalog {
    DefendantCatalog {
        target_op_id: "primitive.bitwise.shl",
        defendants: vec![
            Defendant { id: "shl_bit_param_0_mode_0", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 0 at parameter 0 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0, 0)], },
            Defendant { id: "shl_bit_param_0_mode_1", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 1 at parameter 0 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0, 1)], },
            Defendant { id: "shl_bit_param_0_mode_2", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 2 at parameter 0 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0, 2>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0, 2)], },
            Defendant { id: "shl_bit_param_0_mode_3", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 3 at parameter 0 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0, 3>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0, 3)], },
            Defendant { id: "shl_bit_param_0_mode_4", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 4 at parameter 0 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0, 4>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0, 7)], },
            Defendant { id: "shl_bit_param_xffffffff_mode_0", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 0 at parameter 0xFFFFFFFF returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0xFFFFFFFF, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xFFFFFFFF, 0)], },
            Defendant { id: "shl_bit_param_xffffffff_mode_1", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 1 at parameter 0xFFFFFFFF returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0xFFFFFFFF, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xFFFFFFFF, 1)], },
            Defendant { id: "shl_bit_param_xffffffff_mode_2", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 2 at parameter 0xFFFFFFFF returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0xFFFFFFFF, 2>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xFFFFFFFF, 2)], },
            Defendant { id: "shl_bit_param_xffffffff_mode_3", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 3 at parameter 0xFFFFFFFF returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0xFFFFFFFF, 3>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xFFFFFFFF, 3)], },
            Defendant { id: "shl_bit_param_xffffffff_mode_4", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 4 at parameter 0xFFFFFFFF returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0xFFFFFFFF, 4>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xFFFFFFFF, 7)], },
            Defendant { id: "shl_bit_param_x55555555_mode_0", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 0 at parameter 0x55555555 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x55555555, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x55555555, 0)], },
            Defendant { id: "shl_bit_param_x55555555_mode_1", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 1 at parameter 0x55555555 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x55555555, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x55555555, 1)], },
            Defendant { id: "shl_bit_param_x55555555_mode_2", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 2 at parameter 0x55555555 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x55555555, 2>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x55555555, 2)], },
            Defendant { id: "shl_bit_param_x55555555_mode_3", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 3 at parameter 0x55555555 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x55555555, 3>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x55555555, 3)], },
            Defendant { id: "shl_bit_param_x55555555_mode_4", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 4 at parameter 0x55555555 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x55555555, 4>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x55555555, 7)], },
            Defendant { id: "shl_bit_param_xaaaaaaaa_mode_0", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 0 at parameter 0xAAAAAAAA returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0xAAAAAAAA, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xAAAAAAAA, 0)], },
            Defendant { id: "shl_bit_param_xaaaaaaaa_mode_1", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 1 at parameter 0xAAAAAAAA returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0xAAAAAAAA, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xAAAAAAAA, 1)], },
            Defendant { id: "shl_bit_param_xaaaaaaaa_mode_2", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 2 at parameter 0xAAAAAAAA returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0xAAAAAAAA, 2>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xAAAAAAAA, 2)], },
            Defendant { id: "shl_bit_param_xaaaaaaaa_mode_3", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 3 at parameter 0xAAAAAAAA returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0xAAAAAAAA, 3>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xAAAAAAAA, 3)], },
            Defendant { id: "shl_bit_param_xaaaaaaaa_mode_4", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 4 at parameter 0xAAAAAAAA returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0xAAAAAAAA, 4>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0xAAAAAAAA, 7)], },
            Defendant { id: "shl_bit_param_x0000001f_mode_0", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 0 at parameter 0x0000001F returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x0000001F, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x0000001F, 0)], },
            Defendant { id: "shl_bit_param_x0000001f_mode_1", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 1 at parameter 0x0000001F returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x0000001F, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x0000001F, 1)], },
            Defendant { id: "shl_bit_param_x0000001f_mode_2", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 2 at parameter 0x0000001F returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x0000001F, 2>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x0000001F, 2)], },
            Defendant { id: "shl_bit_param_x0000001f_mode_3", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 3 at parameter 0x0000001F returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x0000001F, 3>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x0000001F, 3)], },
            Defendant { id: "shl_bit_param_x0000001f_mode_4", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 4 at parameter 0x0000001F returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x0000001F, 4>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x0000001F, 7)], },
            Defendant { id: "shl_bit_param_x00000020_mode_0", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 0 at parameter 0x00000020 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x00000020, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x00000020, 0)], },
            Defendant { id: "shl_bit_param_x00000020_mode_1", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 1 at parameter 0x00000020 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x00000020, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x00000020, 1)], },
            Defendant { id: "shl_bit_param_x00000020_mode_2", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 2 at parameter 0x00000020 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x00000020, 2>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x00000020, 2)], },
            Defendant { id: "shl_bit_param_x00000020_mode_3", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 3 at parameter 0x00000020 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x00000020, 3>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x00000020, 3)], },
            Defendant { id: "shl_bit_param_x00000020_mode_4", target_op_id: "primitive.bitwise.shl", description: "SHL bitwise mutation mode 4 at parameter 0x00000020 returns a mask-corrupted result at its boundary witness.", class: DefenderClass::Backdoor, broken_fn: shl_bit_mut::<0x00000020, 4>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0x00000020, 7)], },
            Defendant { id: "shl_law_bounded_0_4294967295_corruption_0", target_op_id: "primitive.bitwise.shl", description: "SHL law mutation corruption 0 falsifies the declared bounded(0,4294967295) law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: shl_law_mut::<0, 0, 0>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(0, 0)], },
            Defendant { id: "shl_law_bounded_0_4294967295_corruption_1", target_op_id: "primitive.bitwise.shl", description: "SHL law mutation corruption 1 falsifies the declared bounded(0,4294967295) law at a concrete witness.", class: DefenderClass::PseudoCorrect, broken_fn: shl_law_mut::<1, 0, 1>, fails_laws: &["bounded(0,4294967295)"], expected_witness: &[(1, 0)], },
        ],
    }
}