vacp2p/staking-reward-streamer
1
0
Fork 0
mirror of https://github.com/vacp2p/staking-reward-streamer.git synced 2026-01-08 20:48:00 -05:00
Code Issues Packages Projects Releases Wiki Activity

refactor(specs): exclude rule instead of including other rules

Browse Source
This commit is contained in:
r4bbit
2025-03-07 14:26:57 +01:00
parent 6c89793854
commit 828d65ad65
1 changed files with 2 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
certora/confs/RewardsStreamerMP.conf
View File

@@ -12,12 +12,8 @@
"optimistic_loop": true,
"loop_iter": "3",
"prover_args": ["-backendStrategy singleRace -smt_useLIA false -smt_useNIA true -depth 0 -s [z3:def{randomSeed=1},z3:def{randomSeed=2},z3:def{randomSeed=3},z3:def{randomSeed=4},z3:def{randomSeed=5},z3:def{randomSeed=6},z3:def{randomSeed=7},z3:def{randomSeed=8},z3:def{randomSeed=9},z3:def{randomSeed=10}]"],
"rule": [
"sumOfBalancesIsTotalStaked",
"vaultMPGreaterEqualVaultStakedBalance",
"stakingMintsMultiplierPoints1To1Ratio",
"stakingGreaterLockupTimeMeansGreaterMPs",
"MPsOnlyDecreaseWhenUnstaking"
"exclude_rule": [
"vaultMPLessEqualVaultMaxMP"
],
"packages": [
"forge-std=lib/forge-std/src",