logos-storage/logos-storage-contracts-eth
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-contracts-eth.git synced 2026-01-07 15:53:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

add the rest mutations

Browse Source
This commit is contained in:
zanderbyte-certora 2025-07-31 11:07:39 +03:00
parent 2220c6659b
commit 6c96ce84de
3 changed files with 39 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
certora/mutations/035_withdraw_account_not_deleted.patch Normal file
View File

@ -0,0 +1,13 @@
diff --git a/contracts/vault/VaultBase.sol b/contracts/vault/VaultBase.sol
index be21481..ed1fb5f 100644
--- a/contracts/vault/VaultBase.sol
+++ b/contracts/vault/VaultBase.sol
@@ -254,8 +254,6 @@ abstract contract VaultBase {
account.accumulateFlows(fund.flowEnd());
uint128 amount = account.balance.available + account.balance.designated;
- delete _accounts[controller][fundId][accountId];
-
(address owner, ) = Accounts.decodeId(accountId);
_token.safeTransfer(owner, amount);
}

13
certora/mutations/036_burnAccount_not_deleted.patch Normal file
View File

@ -0,0 +1,13 @@
diff --git a/contracts/vault/VaultBase.sol b/contracts/vault/VaultBase.sol
index be21481..eb679d1 100644
--- a/contracts/vault/VaultBase.sol
+++ b/contracts/vault/VaultBase.sol
@@ -230,8 +230,6 @@ abstract contract VaultBase {
require(account.flow.incoming == account.flow.outgoing, VaultFlowNotZero());
uint128 amount = account.balance.available + account.balance.designated;
- delete _accounts[controller][fundId][accountId];
-
_token.safeTransfer(address(0xdead), amount);
}

13
certora/mutations/037_burnDesignated_no_decrement.patch Normal file
View File

@ -0,0 +1,13 @@
diff --git a/contracts/vault/VaultBase.sol b/contracts/vault/VaultBase.sol
index be21481..29725dc 100644
--- a/contracts/vault/VaultBase.sol
+++ b/contracts/vault/VaultBase.sol
@@ -213,7 +213,7 @@ abstract contract VaultBase {
Account storage account = _accounts[controller][fundId][accountId];
require(account.balance.designated >= amount, VaultInsufficientBalance());
- account.balance.designated -= amount;
+ // account.balance.designated -= amount;
_token.safeTransfer(address(0xdead), amount);
}