Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
Nat Chin authored Feb 28, 2024
1 parent 67d5021 commit 7c27e41
Showing 1 changed file with 8 additions and 1 deletion.
9 changes: 8 additions & 1 deletion tests/fuzzing/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,14 @@ This testing suite helped find the following failed invariants during this revie

## Current Changes

Due to a recent rebase (on Feb 26th) with changes to the MarketManager, inlcuding the removal of the `closePosition` function, some invariants are failing because the preconditions need to be adjusted to account for the automatic pruning of the position.
The following areas of the fuzzing suite are currently **being worked on:**

1. Soft Liquidations (i.e: liquidating through the DToken contract)
2. Checks for the automatic removal of positions

The fuzzing suite on `develop` was after a rebase on February 26th, which involved changes to the MarketManager. This included the following changes, which have been made on the fuzzing suites. The following has **been fixed**, and will be updated on this branch once tested thoroughly.
1. The removal of the public `closePosition` function, because functions now have pruning versions to automatically close positions.
2. The `listToken` function error selector was changed in the rebase, which required the fuzzing suite to change the error check as well.

There are also incoming changes that need to be made to soft liquidations (liquidating through the DToken contract), and interest accrual that needs another adjustment to pull the internal individual account exchange rate, as opposed to the global one.

Expand Down

0 comments on commit 7c27e41

Please sign in to comment.