logos-co
/
staking
mirror of https://github.com/logos-co/staking.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

try with standard server instead

This commit is contained in:
r4bbit 2024-10-08 14:05:46 +02:00 committed by Ricardo Guilherme Schmidt
parent 7581c2a079
commit 9face30b63
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
certora/confs/MaxMPRule.conf
View File

@ -26,7 +26,6 @@
], ],
"rule_sanity": "none", "rule_sanity": "none",
"smt_timeout": "7200", "smt_timeout": "7200",
"server": "staging",
"verify": "StakeManager:certora/specs/MaxMPRule.spec" "verify": "StakeManager:certora/specs/MaxMPRule.spec"
} }