fuel-vm 0.66.3

FuelVM interpreter.
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

use fuel_asm::{
    PanicReason,
    RegId,
    op,
};
use fuel_tx::{
    Receipt,
    ScriptExecutionResult,
};

use alloc::vec;

use crate::interpreter::ReceiptsCtx;

use super::test_helpers::run_script;

#[test]
fn too_many_receipts_panics() {
    let receipts = run_script(vec![
        op::log(RegId::ZERO, RegId::ZERO, RegId::ZERO, RegId::ZERO),
        op::jmpb(RegId::ZERO, 0),
    ]);

    assert_eq!(receipts.len(), ReceiptsCtx::MAX_RECEIPTS);

    // The panic receipt should have still been pushed correctly
    let Receipt::Panic { reason, .. } = receipts[ReceiptsCtx::MAX_RECEIPTS - 2] else {
        panic!("Expect panic receipt");
    };
    assert_eq!(*reason.reason(), PanicReason::TooManyReceipts);
}

#[test]
fn can_panic_just_before_max_receipts() {
    let receipts = run_script(vec![
        op::movi(0x10, ReceiptsCtx::MAX_RECEIPTS as u32 - 2),
        op::log(RegId::ZERO, RegId::ZERO, RegId::ZERO, RegId::ZERO),
        op::subi(0x10, 0x10, 1),
        op::jnzb(0x10, RegId::ZERO, 1),
        op::div(0x10, RegId::ZERO, RegId::ZERO), // Divide by zero
    ]);

    assert_eq!(receipts.len(), ReceiptsCtx::MAX_RECEIPTS);

    // The panic receipt should have still been pushed correctly
    let Receipt::Panic { reason, .. } = receipts[ReceiptsCtx::MAX_RECEIPTS - 2] else {
        panic!("Expect panic receipt");
    };
    assert_eq!(*reason.reason(), PanicReason::ArithmeticError);
}

#[test]
fn can_return_successfully_just_below_max_receipts() {
    let receipts = run_script(vec![
        op::movi(0x10, ReceiptsCtx::MAX_RECEIPTS as u32 - 3),
        op::log(RegId::ZERO, RegId::ZERO, RegId::ZERO, RegId::ZERO),
        op::subi(0x10, 0x10, 1),
        op::jnzb(0x10, RegId::ZERO, 1),
        op::ret(RegId::ONE),
    ]);

    assert_eq!(receipts.len(), ReceiptsCtx::MAX_RECEIPTS - 1);

    // The panic receipt should have still been pushed correctly
    let Receipt::ScriptResult { result, .. } = receipts[ReceiptsCtx::MAX_RECEIPTS - 2]
    else {
        panic!("Expect result receipt");
    };
    assert_eq!(result, ScriptExecutionResult::Success);
}