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 b22dcac commit 4fb73a0Copy full SHA for 4fb73a0
clarity/src/vm/functions/post_conditions.rs
@@ -486,13 +486,9 @@ fn check_allowances(
486
continue;
487
}
488
489
- // Sort by allowance index so we check allowances in order
490
- merged.sort_by_key(|(idx, _)| *idx);
491
-
492
for (index, allowance) in merged {
493
if *amount_moved > allowance {
494
record_violation(index as u128);
495
- break;
496
497
498
@@ -519,13 +515,9 @@ fn check_allowances(
519
515
520
516
521
517
522
523
524
525
518
for (index, allowance_vec) in merged {
526
if ids_moved.iter().any(|id| !allowance_vec.contains(id)) {
527
528
529
530
531
0 commit comments