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
84
85
86
87
88
89
90
91
92
93
94
95
96
97
//! > Test operators.
//! > test_runner_name
test_expr_semantics(expect_diagnostics: false)
//! > function_body
//! > expr_code
!(-5 + 9 * 3 == 0)
//! > expected_semantics
FunctionCall(
ExprFunctionCall {
function: core::BoolNot::not,
args: [
Value(
FunctionCall(
ExprFunctionCall {
function: core::Felt252PartialEq::eq,
args: [
Value(
Snapshot(
ExprSnapshot {
inner: FunctionCall(
ExprFunctionCall {
function: core::Felt252Add::add,
args: [
Value(
Literal(
ExprNumericLiteral {
value: -5,
ty: core::felt252,
},
),
),
Value(
FunctionCall(
ExprFunctionCall {
function: core::Felt252Mul::mul,
args: [
Value(
Literal(
ExprNumericLiteral {
value: 9,
ty: core::felt252,
},
),
),
Value(
Literal(
ExprNumericLiteral {
value: 3,
ty: core::felt252,
},
),
),
],
coupon_arg: None,
ty: core::felt252,
},
),
),
],
coupon_arg: None,
ty: core::felt252,
},
),
ty: @core::felt252,
},
),
),
Value(
Snapshot(
ExprSnapshot {
inner: Literal(
ExprNumericLiteral {
value: 0,
ty: core::felt252,
},
),
ty: @core::felt252,
},
),
),
],
coupon_arg: None,
ty: core::bool,
},
),
),
],
coupon_arg: None,
ty: core::bool,
},
)
//! > expected_diagnostics