We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f79bc1e commit 92fd3b2Copy full SHA for 92fd3b2
cairo_programs/squash_dict.cairo
@@ -64,6 +64,7 @@ func squash_dict{range_check_ptr}(
64
squashed_dict=squashed_dict,
65
big_keys=big_keys)
66
%{
67
+ #TEST
68
vm_exit_scope()
69
%}
70
return (squashed_dict=squashed_dict)
@@ -173,7 +174,10 @@ func squash_dict_inner(
173
174
[ap] = dict_accesses_end_minus1 - cast(last_loop_locals.access_ptr, felt)
175
[ap] = [last_loop_locals.range_check_ptr]; ap++
176
tempvar n_used_accesses = last_loop_locals.range_check_ptr - range_check_ptr
- %{ assert ids.n_used_accesses == len(access_indices[key]) %}
177
+ %{
178
179
+ assert ids.n_used_accesses == len(access_indices[key])
180
+ %}
181
182
# Write last value to dict_diff.
183
last_loop_locals.value = dict_diff.new_value
0 commit comments