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-02 13:23:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

next period logic bug

Browse Source
This commit is contained in:
zanderbyte-certora 2025-07-30 13:10:03 +03:00
parent 8cdf17987a
commit 2220c6659b
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
certora/mutations/034_nextPeriod_advancement_failure.patch Normal file
View File

@ -0,0 +1,13 @@
diff --git a/contracts/Periods.sol b/contracts/Periods.sol
index 189fb02..817d09c 100644
--- a/contracts/Periods.sol
+++ b/contracts/Periods.sol
@@ -29,7 +29,7 @@ contract Periods {
}
function _nextPeriod(Period period) internal pure returns (Period) {
- return Period.wrap(Period.unwrap(period) + 1);
+ return Period.wrap(Period.unwrap(period));
}
function _periodStart(Period period) internal view returns (Timestamp) {