bug fix in change

informalsystems · Jun 8, 2023 · 3a0e1ff · 3a0e1ff
1 parent 62a3d7d
commit 3a0e1ff
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/2022/Q4/artifacts/PoS-pseudocode/PoS-model.md b/2022/Q4/artifacts/PoS-pseudocode/PoS-model.md
@@ -577,7 +577,8 @@ end_of_epoch()
 
       var validator_stake = read_epoched_field(validators[validator_address].total_deltas, cur_epoch + offset, 0)
       var slashable_stake = validator_stake - sum_post_bonds
-      var change = min{-slashable_stake, diff_slashed_amount}
+      var change = diff_slashed_amount
+      if (slashable_stake + diff_slashed_amount < 0) then change = -slashable_stake
       update_total_deltas(validator_address, offset, change)
       update_voting_power(validator_address, offset)