NoBey/openzeppelin-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove declaration of max_uint48 with is not available by default in CVL2

Browse Source
This commit is contained in:
Hadrien Croubois
2023-07-07 16:08:48 +02:00
parent 0b3da8c14c
commit 2201f657b9
1 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
certora/specs/helpers/helpers.spec
View File

@ -2,9 +2,6 @@
definition nonpayable(env e) returns bool = e.msg.value == 0; definition nonpayable(env e) returns bool = e.msg.value == 0;
definition nonzerosender(env e) returns bool = e.msg.sender != 0; definition nonzerosender(env e) returns bool = e.msg.sender != 0;
// constants
// definition max_uint48() returns mathint = (1 << 48) - 1;
// math // math
definition min(mathint a, mathint b) returns mathint = a < b ? a : b; definition min(mathint a, mathint b) returns mathint = a < b ? a : b;
definition max(mathint a, mathint b) returns mathint = a > b ? a : b; definition max(mathint a, mathint b) returns mathint = a > b ? a : b;