miden-debug-engine 0.17.0

Core debugger engine for miden-debug
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115

use miden_processor::Felt as RawFelt;
use toml::toml;

use super::{ExecutionConfig, *};

#[test]
fn execution_config_empty() {
    let text = toml::to_string_pretty(&toml! {
        [inputs]
        [options]
    })
    .unwrap();

    let file = toml::from_str::<ExecutionConfig>(&text).unwrap();
    let expected_inputs = StackInputs::new(&[]).unwrap();
    assert_eq!(file.inputs.as_ref(), expected_inputs.as_ref());
    assert!(file.advice_inputs.stack().is_empty());
    assert_eq!(file.options.max_cycles(), ExecutionOptions::MAX_CYCLES);
    assert_eq!(file.options.expected_cycles(), ExecutionOptions::default().expected_cycles());
}

#[test]
fn execution_config_with_options() {
    let text = toml::to_string_pretty(&toml! {
        [inputs]
        [options]
        max_cycles = 100000
    })
    .unwrap();

    let file = ExecutionConfig::parse_str(&text).unwrap();
    let expected_inputs = StackInputs::new(&[]).unwrap();
    assert_eq!(file.inputs.as_ref(), expected_inputs.as_ref());
    assert!(file.advice_inputs.stack().is_empty());
    assert_eq!(file.options.max_cycles(), 100000);
    assert_eq!(file.options.expected_cycles(), ExecutionOptions::default().expected_cycles());
}

#[test]
fn execution_config_with_operands() {
    let text = toml::to_string_pretty(&toml! {
        [inputs]
        stack = [1, 2, 3]

        [options]
        max_cycles = 100000
    })
    .unwrap();

    let file = ExecutionConfig::parse_str(&text).unwrap();
    let expected_inputs = StackInputs::new(&[
        RawFelt::new(1).expect("value exceeds field modulus"),
        RawFelt::new(2).expect("value exceeds field modulus"),
        RawFelt::new(3).expect("value exceeds field modulus"),
    ])
    .unwrap();
    assert_eq!(file.inputs.as_ref(), expected_inputs.as_ref());
    assert!(file.advice_inputs.stack().is_empty());
    assert_eq!(file.options.max_cycles(), 100000);
    assert_eq!(file.options.expected_cycles(), ExecutionOptions::default().expected_cycles());
}

#[test]
fn execution_config_with_advice() {
    let text = toml::to_string_pretty(&toml! {
        [inputs]
        stack = [1, 2, 0x3]

        [inputs.advice]
        stack = [1, 2, 3, 4]

        [[inputs.advice.map]]
        digest = "0x3cff5b58a573dc9d25fd3c57130cc57e5b1b381dc58b5ae3594b390c59835e63"
        values = [1, 2, 3, 4]

        [options]
        max_cycles = 100000
    })
    .unwrap();
    let digest = miden_core::Word::try_from(
        "0x3cff5b58a573dc9d25fd3c57130cc57e5b1b381dc58b5ae3594b390c59835e63",
    )
    .unwrap();
    let file = ExecutionConfig::parse_str(&text).unwrap_or_else(|err| panic!("{err}"));
    let expected_inputs = StackInputs::new(&[
        RawFelt::new(1).expect("value exceeds field modulus"),
        RawFelt::new(2).expect("value exceeds field modulus"),
        RawFelt::new(3).expect("value exceeds field modulus"),
    ])
    .unwrap();
    assert_eq!(file.inputs.as_ref(), expected_inputs.as_ref());
    assert_eq!(
        file.advice_inputs.stack().into_elements(),
        &[
            RawFelt::new(1).expect("value exceeds field modulus"),
            RawFelt::new(2).expect("value exceeds field modulus"),
            RawFelt::new(3).expect("value exceeds field modulus"),
            RawFelt::new(4).expect("value exceeds field modulus")
        ]
    );
    assert_eq!(
        file.advice_inputs.map().get(&digest).map(|value| value.as_ref()),
        Some(
            [
                RawFelt::new(1).expect("value exceeds field modulus"),
                RawFelt::new(2).expect("value exceeds field modulus"),
                RawFelt::new(3).expect("value exceeds field modulus"),
                RawFelt::new(4).expect("value exceeds field modulus")
            ]
            .as_slice()
        )
    );
    assert_eq!(file.options.max_cycles(), 100000);
    assert_eq!(file.options.expected_cycles(), ExecutionOptions::default().expected_cycles());
}