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

2025-03-07 15:05:27 +01:00

..

confs

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

2025-03-07 15:05:27 +01:00

helpers

chore(certora): add sumOfBalancesIsTotalStaked invariant

2024-10-14 12:04:52 +02:00

specs

test(certora): ensure Karma owneable functions are callable only by the owner

2025-03-06 16:04:27 +01:00