Skip to content

Commit f7c3b4e

Browse files
greenhatgreenhat
committed
refactor: tests for the miden::account SDK bindings (reduce boilerplate)
1 parent ae32971 commit f7c3b4e

17 files changed

+192
-414
lines changed

‎tests/integration/expected/rust_sdk/rust_sdk_account_code_commitment_binding.hir‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ builtin.component miden:rust-sdk-account-code-commitment-binding/rust-sdk-accoun
1010
builtin.ret ;
1111
};
1212

13-
private builtin.function @miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#code-commitment() -> i32 {
13+
private builtin.function @miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#binding() -> i32 {
1414
^block9:
1515
v2 = builtin.global_symbol @miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1/rust_sdk_account_code_commitment_binding/__stack_pointer : ptr<byte, u8>
1616
v3 = hir.bitcast v2 : ptr<byte, i32>;
@@ -293,9 +293,9 @@ builtin.component miden:rust-sdk-account-code-commitment-binding/rust-sdk-accoun
293293
builtin.segment @1048576 = 0x0000000100000001;
294294
};
295295

296-
public builtin.function @code-commitment() -> felt, felt, felt, felt {
296+
public builtin.function @binding() -> felt, felt, felt, felt {
297297
^block25:
298-
v198 = hir.exec @miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1/rust_sdk_account_code_commitment_binding/miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#code-commitment() : i32
298+
v198 = hir.exec @miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1/rust_sdk_account_code_commitment_binding/miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#binding() : i32
299299
v199 = arith.constant 0 : i32;
300300
v200 = arith.add v198, v199 : i32 #[overflow = unchecked];
301301
v332 = arith.constant 0 : i32;

‎tests/integration/expected/rust_sdk/rust_sdk_account_code_commitment_binding.masm‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
# mod miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1
22

3-
export.code-commitment
3+
export.binding
44
exec.::miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1::init
55
trace.240
66
nop
7-
exec.::miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1::rust_sdk_account_code_commitment_binding::miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#code-commitment
7+
exec.::miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1::rust_sdk_account_code_commitment_binding::miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#binding
88
trace.252
99
nop
1010
push.0
@@ -93,7 +93,7 @@ proc.rust_sdk_account_code_commitment_binding::bindings::__link_custom_section_d
9393
nop
9494
end
9595

96-
proc.miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#code-commitment
96+
proc.miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#binding
9797
push.1114144
9898
u32divmod.4
9999
swap.1

‎tests/integration/expected/rust_sdk/rust_sdk_account_code_commitment_binding.wat‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -19,11 +19,11 @@
1919
(global $__stack_pointer (;0;) (mut i32) i32.const 1048576)
2020
(global $GOT.data.internal.__memory_base (;1;) i32 i32.const 0)
2121
(export "memory" (memory 0))
22-
(export "miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#code-commitment" (func $miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#code-commitment))
22+
(export "miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#binding" (func $miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#binding))
2323
(elem (;0;) (i32.const 1) func $rust_sdk_account_code_commitment_binding::bindings::__link_custom_section_describing_imports)
2424
(func $__wasm_call_ctors (;0;) (type 0))
2525
(func $rust_sdk_account_code_commitment_binding::bindings::__link_custom_section_describing_imports (;1;) (type 0))
26-
(func $miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#code-commitment (;2;) (type 1) (result i32)
26+
(func $miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#binding (;2;) (type 1) (result i32)
2727
(local i32 i32)
2828
global.get $__stack_pointer
2929
i32.const 48
@@ -153,7 +153,7 @@
153153
(core instance (;0;) (instantiate 0))
154154
(alias core export 0 "memory" (core memory (;0;)))
155155
(type (;2;) (func (result 1)))
156-
(alias core export 0 "miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#code-commitment" (core func (;0;)))
156+
(alias core export 0 "miden:rust-sdk-account-code-commitment-binding/rust-sdk-account-code-commitment-binding@0.0.1#binding" (core func (;0;)))
157157
(func (;0;) (type 2) (canon lift (core func 0) (memory 0)))
158158
(alias export 0 "felt" (type (;3;)))
159159
(alias export 0 "word" (type (;4;)))
@@ -165,13 +165,13 @@
165165
(import "import-type-word" (type (;4;) (eq 3)))
166166
(import "import-type-word0" (type (;5;) (eq 4)))
167167
(type (;6;) (func (result 5)))
168-
(import "import-func-code-commitment" (func (;0;) (type 6)))
168+
(import "import-func-binding" (func (;0;) (type 6)))
169169
(export (;7;) "word" (type 4))
170170
(type (;8;) (func (result 7)))
171-
(export (;1;) "code-commitment" (func 0) (func (type 8)))
171+
(export (;1;) "binding" (func 0) (func (type 8)))
172172
)
173173
(instance (;1;) (instantiate 0
174-
(with "import-func-code-commitment" (func 0))
174+
(with "import-func-binding" (func 0))
175175
(with "import-type-felt" (type 3))
176176
(with "import-type-word" (type 4))
177177
(with "import-type-word0" (type 1))

‎tests/integration/expected/rust_sdk/rust_sdk_account_compute_storage_commitment_binding.hir‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ builtin.component miden:rust-sdk-account-compute-storage-commitment-binding/rust
1010
builtin.ret ;
1111
};
1212

13-
private builtin.function @miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#compute-storage-commitment() -> i32 {
13+
private builtin.function @miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#binding() -> i32 {
1414
^block9:
1515
v2 = builtin.global_symbol @miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1/rust_sdk_account_compute_storage_commitment_binding/__stack_pointer : ptr<byte, u8>
1616
v3 = hir.bitcast v2 : ptr<byte, i32>;
@@ -293,9 +293,9 @@ builtin.component miden:rust-sdk-account-compute-storage-commitment-binding/rust
293293
builtin.segment @1048576 = 0x0000000100000001;
294294
};
295295

296-
public builtin.function @compute-storage-commitment() -> felt, felt, felt, felt {
296+
public builtin.function @binding() -> felt, felt, felt, felt {
297297
^block25:
298-
v198 = hir.exec @miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1/rust_sdk_account_compute_storage_commitment_binding/miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#compute-storage-commitment() : i32
298+
v198 = hir.exec @miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1/rust_sdk_account_compute_storage_commitment_binding/miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#binding() : i32
299299
v199 = arith.constant 0 : i32;
300300
v200 = arith.add v198, v199 : i32 #[overflow = unchecked];
301301
v332 = arith.constant 0 : i32;

‎tests/integration/expected/rust_sdk/rust_sdk_account_compute_storage_commitment_binding.masm‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
# mod miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1
22

3-
export.compute-storage-commitment
3+
export.binding
44
exec.::miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1::init
55
trace.240
66
nop
7-
exec.::miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1::rust_sdk_account_compute_storage_commitment_binding::miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#compute-storage-commitment
7+
exec.::miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1::rust_sdk_account_compute_storage_commitment_binding::miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#binding
88
trace.252
99
nop
1010
push.0
@@ -93,7 +93,7 @@ proc.rust_sdk_account_compute_storage_commitment_binding::bindings::__link_custo
9393
nop
9494
end
9595

96-
proc.miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#compute-storage-commitment
96+
proc.miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#binding
9797
push.1114144
9898
u32divmod.4
9999
swap.1

‎tests/integration/expected/rust_sdk/rust_sdk_account_compute_storage_commitment_binding.wat‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -19,11 +19,11 @@
1919
(global $__stack_pointer (;0;) (mut i32) i32.const 1048576)
2020
(global $GOT.data.internal.__memory_base (;1;) i32 i32.const 0)
2121
(export "memory" (memory 0))
22-
(export "miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#compute-storage-commitment" (func $miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#compute-storage-commitment))
22+
(export "miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#binding" (func $miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#binding))
2323
(elem (;0;) (i32.const 1) func $rust_sdk_account_compute_storage_commitment_binding::bindings::__link_custom_section_describing_imports)
2424
(func $__wasm_call_ctors (;0;) (type 0))
2525
(func $rust_sdk_account_compute_storage_commitment_binding::bindings::__link_custom_section_describing_imports (;1;) (type 0))
26-
(func $miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#compute-storage-commitment (;2;) (type 1) (result i32)
26+
(func $miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#binding (;2;) (type 1) (result i32)
2727
(local i32 i32)
2828
global.get $__stack_pointer
2929
i32.const 48
@@ -153,7 +153,7 @@
153153
(core instance (;0;) (instantiate 0))
154154
(alias core export 0 "memory" (core memory (;0;)))
155155
(type (;2;) (func (result 1)))
156-
(alias core export 0 "miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#compute-storage-commitment" (core func (;0;)))
156+
(alias core export 0 "miden:rust-sdk-account-compute-storage-commitment-binding/rust-sdk-account-compute-storage-commitment-binding@0.0.1#binding" (core func (;0;)))
157157
(func (;0;) (type 2) (canon lift (core func 0) (memory 0)))
158158
(alias export 0 "felt" (type (;3;)))
159159
(alias export 0 "word" (type (;4;)))
@@ -165,13 +165,13 @@
165165
(import "import-type-word" (type (;4;) (eq 3)))
166166
(import "import-type-word0" (type (;5;) (eq 4)))
167167
(type (;6;) (func (result 5)))
168-
(import "import-func-compute-storage-commitment" (func (;0;) (type 6)))
168+
(import "import-func-binding" (func (;0;) (type 6)))
169169
(export (;7;) "word" (type 4))
170170
(type (;8;) (func (result 7)))
171-
(export (;1;) "compute-storage-commitment" (func 0) (func (type 8)))
171+
(export (;1;) "binding" (func 0) (func (type 8)))
172172
)
173173
(instance (;1;) (instantiate 0
174-
(with "import-func-compute-storage-commitment" (func 0))
174+
(with "import-func-binding" (func 0))
175175
(with "import-type-felt" (type 3))
176176
(with "import-type-word" (type 4))
177177
(with "import-type-word0" (type 1))

‎tests/integration/expected/rust_sdk/rust_sdk_account_has_non_fungible_asset_binding.hir‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ builtin.component miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk
1010
builtin.ret ;
1111
};
1212

13-
private builtin.function @miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#has-asset() -> felt {
13+
private builtin.function @miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#binding() -> felt {
1414
^block9:
1515
v3 = builtin.global_symbol @miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1/rust_sdk_account_has_non_fungible_asset_binding/__stack_pointer : ptr<byte, u8>
1616
v4 = hir.bitcast v3 : ptr<byte, i32>;
@@ -211,9 +211,9 @@ builtin.component miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk
211211
builtin.segment @1048576 = 0x0000000100000001;
212212
};
213213

214-
public builtin.function @has-asset() -> felt {
214+
public builtin.function @binding() -> felt {
215215
^block29:
216-
v133 = hir.exec @miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1/rust_sdk_account_has_non_fungible_asset_binding/miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#has-asset() : felt
216+
v133 = hir.exec @miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1/rust_sdk_account_has_non_fungible_asset_binding/miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#binding() : felt
217217
builtin.ret v133;
218218
};
219219
};

‎tests/integration/expected/rust_sdk/rust_sdk_account_has_non_fungible_asset_binding.masm‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
# mod miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1
22

3-
export.has-asset
3+
export.binding
44
exec.::miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1::init
55
trace.240
66
nop
7-
exec.::miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1::rust_sdk_account_has_non_fungible_asset_binding::miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#has-asset
7+
exec.::miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1::rust_sdk_account_has_non_fungible_asset_binding::miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#binding
88
trace.252
99
nop
1010
exec.::std::sys::truncate_stack
@@ -41,7 +41,7 @@ proc.rust_sdk_account_has_non_fungible_asset_binding::bindings::__link_custom_se
4141
nop
4242
end
4343

44-
proc.miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#has-asset
44+
proc.miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#binding
4545
push.1114144
4646
u32divmod.4
4747
swap.1

‎tests/integration/expected/rust_sdk/rust_sdk_account_has_non_fungible_asset_binding.wat‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -18,11 +18,11 @@
1818
(global $__stack_pointer (;0;) (mut i32) i32.const 1048576)
1919
(global $GOT.data.internal.__memory_base (;1;) i32 i32.const 0)
2020
(export "memory" (memory 0))
21-
(export "miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#has-asset" (func $miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#has-asset))
21+
(export "miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#binding" (func $miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#binding))
2222
(elem (;0;) (i32.const 1) func $rust_sdk_account_has_non_fungible_asset_binding::bindings::__link_custom_section_describing_imports)
2323
(func $__wasm_call_ctors (;0;) (type 0))
2424
(func $rust_sdk_account_has_non_fungible_asset_binding::bindings::__link_custom_section_describing_imports (;1;) (type 0))
25-
(func $miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#has-asset (;2;) (type 1) (result f32)
25+
(func $miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#binding (;2;) (type 1) (result f32)
2626
(local i32 i32 f32)
2727
global.get $__stack_pointer
2828
i32.const 32
@@ -126,21 +126,21 @@
126126
(core instance (;0;) (instantiate 0))
127127
(alias core export 0 "memory" (core memory (;0;)))
128128
(type (;2;) (func (result 1)))
129-
(alias core export 0 "miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#has-asset" (core func (;0;)))
129+
(alias core export 0 "miden:rust-sdk-account-has-non-fungible-asset-binding/rust-sdk-account-has-non-fungible-asset-binding@0.0.1#binding" (core func (;0;)))
130130
(func (;0;) (type 2) (canon lift (core func 0)))
131131
(alias export 0 "felt" (type (;3;)))
132132
(component (;0;)
133133
(type (;0;) (record (field "inner" f32)))
134134
(import "import-type-felt" (type (;1;) (eq 0)))
135135
(import "import-type-felt0" (type (;2;) (eq 1)))
136136
(type (;3;) (func (result 2)))
137-
(import "import-func-has-asset" (func (;0;) (type 3)))
137+
(import "import-func-binding" (func (;0;) (type 3)))
138138
(export (;4;) "felt" (type 1))
139139
(type (;5;) (func (result 4)))
140-
(export (;1;) "has-asset" (func 0) (func (type 5)))
140+
(export (;1;) "binding" (func 0) (func (type 5)))
141141
)
142142
(instance (;1;) (instantiate 0
143-
(with "import-func-has-asset" (func 0))
143+
(with "import-func-binding" (func 0))
144144
(with "import-type-felt" (type 3))
145145
(with "import-type-felt0" (type 1))
146146
)

‎tests/integration/expected/rust_sdk/rust_sdk_account_initial_storage_commitment_binding.hir‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ builtin.component miden:rust-sdk-account-initial-storage-commitment-binding/rust
1010
builtin.ret ;
1111
};
1212

13-
private builtin.function @miden:rust-sdk-account-initial-storage-commitment-binding/rust-sdk-account-initial-storage-commitment-binding@0.0.1#initial-storage-commitment() -> i32 {
13+
private builtin.function @miden:rust-sdk-account-initial-storage-commitment-binding/rust-sdk-account-initial-storage-commitment-binding@0.0.1#binding() -> i32 {
1414
^block9:
1515
v2 = builtin.global_symbol @miden:rust-sdk-account-initial-storage-commitment-binding/rust-sdk-account-initial-storage-commitment-binding@0.0.1/rust_sdk_account_initial_storage_commitment_binding/__stack_pointer : ptr<byte, u8>
1616
v3 = hir.bitcast v2 : ptr<byte, i32>;
@@ -293,9 +293,9 @@ builtin.component miden:rust-sdk-account-initial-storage-commitment-binding/rust
293293
builtin.segment @1048576 = 0x0000000100000001;
294294
};
295295

296-
public builtin.function @initial-storage-commitment() -> felt, felt, felt, felt {
296+
public builtin.function @binding() -> felt, felt, felt, felt {
297297
^block25:
298-
v198 = hir.exec @miden:rust-sdk-account-initial-storage-commitment-binding/rust-sdk-account-initial-storage-commitment-binding@0.0.1/rust_sdk_account_initial_storage_commitment_binding/miden:rust-sdk-account-initial-storage-commitment-binding/rust-sdk-account-initial-storage-commitment-binding@0.0.1#initial-storage-commitment() : i32
298+
v198 = hir.exec @miden:rust-sdk-account-initial-storage-commitment-binding/rust-sdk-account-initial-storage-commitment-binding@0.0.1/rust_sdk_account_initial_storage_commitment_binding/miden:rust-sdk-account-initial-storage-commitment-binding/rust-sdk-account-initial-storage-commitment-binding@0.0.1#binding() : i32
299299
v199 = arith.constant 0 : i32;
300300
v200 = arith.add v198, v199 : i32 #[overflow = unchecked];
301301
v332 = arith.constant 0 : i32;

0 commit comments

Comments
 (0)