cairo-lang-executable-plugin 2.18.0-rc.0

Cairo executable plugin.
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

//! > Basic executable.

//! > test_runner_name
ExpandExecutableTestRunner(expect_diagnostics: false)

//! > cairo_code
#[executable]
fn main() {}

//! > generated_cairo_code
#[executable]
fn main() {}
#[implicit_precedence(core::pedersen::Pedersen, core::RangeCheck, core::integer::Bitwise, core::ec::EcOp, core::poseidon::Poseidon, core::circuit::RangeCheck96, core::circuit::AddMod, core::circuit::MulMod)]
#[executable_raw]
fn __executable_wrapper__main(mut input: Span<felt252>, ref output: Array<felt252>) {

    assert(core::array::SpanTrait::is_empty(input), 'Input too long for params.');
    let __result = @main(
    );
    Serde::serialize(__result, ref output);
}

//! > expected_diagnostics

//! > ==========================================================================

//! > Test executable with arguments.

//! > test_runner_name
ExpandExecutableTestRunner(expect_diagnostics: false)

//! > cairo_code
#[executable]
fn main(a: felt252, b: felt252) -> felt252 {
    a + b
}

//! > generated_cairo_code
#[executable]
fn main(a: felt252, b: felt252) -> felt252 {
    a + b
}
#[implicit_precedence(core::pedersen::Pedersen, core::RangeCheck, core::integer::Bitwise, core::ec::EcOp, core::poseidon::Poseidon, core::circuit::RangeCheck96, core::circuit::AddMod, core::circuit::MulMod)]
#[executable_raw]
fn __executable_wrapper__main(mut input: Span<felt252>, ref output: Array<felt252>) {

    let __param__executable_wrapper__0 = Serde::deserialize(ref input).expect('Failed to deserialize param #0');
    let __param__executable_wrapper__1 = Serde::deserialize(ref input).expect('Failed to deserialize param #1');
    assert(core::array::SpanTrait::is_empty(input), 'Input too long for params.');
    let __result = @main(
        __param__executable_wrapper__0,
        __param__executable_wrapper__1,
    );
    Serde::serialize(__result, ref output);
}

//! > expected_diagnostics