neo-devpack-solidity 0.22.0

Production-focused Solidity-to-NeoVM compilation system
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

use neo_devpack_solidity::runtime::execution::ExecutionContext;
use neo_devpack_solidity::runtime::RuntimeConfig;

#[test]
fn ret_without_value_clears_return_data() {
    let mut ctx = ExecutionContext::new(&RuntimeConfig::default()).expect("context init");
    ctx.initialize(&[0x40], &[]).expect("init");

    let step = ctx.step().expect("step RET");
    assert_eq!(step.opcode, "RET");
    assert!(ctx.return_data().is_empty(), "return data should be empty");
    assert_eq!(
        step.instruction_pointer as usize, 1,
        "instruction pointer should advance to end"
    );
}

#[test]
fn ret_with_value_uses_top_of_stack() {
    // PUSH1 (0x11) followed by RET (0x40)
    let mut ctx = ExecutionContext::new(&RuntimeConfig::default()).expect("context init");
    ctx.initialize(&[0x11, 0x40], &[]).expect("init");

    ctx.step().expect("push1");
    let step = ctx.step().expect("ret");

    let expected = (1i64).to_le_bytes().to_vec();
    assert_eq!(
        ctx.return_data(),
        expected,
        "RET should use top-of-stack bytes"
    );
    assert_eq!(
        step.instruction_pointer as usize, 2,
        "instruction pointer should advance beyond bytecode"
    );
}