cairo-native 0.9.0-rc.3

A compiler to convert Cairo's IR Sierra code to MLIR and execute it.
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

use core::gas::{GasReserve, gas_reserve_create, gas_reserve_utilize};

// Allow implicitly dropping GasReserve instances.
impl GasReserveDrop of Drop<GasReserve> {}

#[test]
fn test_create_and_utilize_gas_reserve() {
    let gas0 = crate::testing::get_available_gas();

    // Buy and redeposit a GasReserve.
    let reserve1 = gas_reserve_create(1000).unwrap();
    let gas1 = crate::testing::get_available_gas();
    gas_reserve_utilize(reserve1);
    let gas2 = crate::testing::get_available_gas();

    // Buy the rest of the available gas.
    let reserve2 = gas_reserve_create(gas2).unwrap();
    let gas3 = crate::testing::get_available_gas();

    // Try to buy another reserve. This should fail.
    let reserve3_opt = gas_reserve_create(1);

    gas_reserve_utilize(reserve2);
    assert!(reserve3_opt.is_none());

    assert_eq!(gas1, gas0 - 1000);
    assert_eq!(gas2, gas0);
    assert_eq!(gas3, 0);
}