fuel-vm 0.58.2

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
71
72
73
74
75
76
77
78
79
80
81
82
83

use alloc::vec;

use fuel_tx::{
    Script,
    TxParameters,
};
use fuel_types::BlockHeight;
use test_case::test_case;

use crate::prelude::RuntimePredicate;

use super::*;

#[test]
fn test_metadata() {
    let context = Context::PredicateVerification {
        program: RuntimePredicate::empty(),
    };
    let frames = vec![];
    let mut pc = 4;
    let mut result = 1;
    let imm = 0x03;
    metadata(
        &context,
        &frames,
        RegMut::new(&mut pc),
        &mut result,
        imm,
        ChainId::default(),
        TxParameters::default().tx_offset() as Word,
    )
    .unwrap();
    assert_eq!(pc, 8);
    assert_eq!(result, 0);
}

#[test]
fn test_get_transaction_field() {
    let mut pc = 4;
    let tx = Script::default();
    let input_contracts_index_to_output_index = Default::default();
    let input = GTFInput {
        tx: &tx,
        input_contracts_index_to_output_index: &input_contracts_index_to_output_index,
        tx_offset: 0,
        tx_size: fuel_tx::TxParameters::DEFAULT.tx_offset() as Word,
        pc: RegMut::new(&mut pc),
    };
    let mut result = 1;
    let b = 0;
    input
        .get_transaction_field(&mut result, b, GTFArgs::ScriptGasLimit as Immediate12)
        .unwrap();
    assert_eq!(pc, 8);
    assert_eq!(result, *tx.script_gas_limit());
}

#[test_case(Context::PredicateEstimation { program: RuntimePredicate::empty() }, 2 => (); "can fetch inside predicate estimation")]
#[test_case(Context::PredicateVerification { program: RuntimePredicate::empty() }, 2 => (); "can fetch inside predicate verification")]
#[test_case(Context::Script { block_height: BlockHeight::default() }, 3 => (); "can fetch inside script")]
#[test_case(Context::Call { block_height: BlockHeight::default() }, 4 => (); "can fetch inside call")]
fn get_chain_id(context: Context, chain_id: u64) {
    let mut frames = vec![];
    let mut pc = 4;
    let mut result = 1;
    let imm = GMArgs::GetChainId as Immediate18;

    if context.is_internal() {
        frames.push(CallFrame::default());
    }
    metadata(
        &context,
        &frames,
        RegMut::new(&mut pc),
        &mut result,
        imm,
        chain_id.into(),
        TxParameters::default().tx_offset() as Word,
    )
    .unwrap();

    assert_eq!(result, chain_id);
}