vacp2p/staking-reward-streamer
1
0
Fork 0
mirror of https://github.com/vacp2p/staking-reward-streamer.git synced 2026-01-14 23:48:07 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
fv/mp-decrease
staking-reward-streamer/certora/specs/XPToken.spec
Andrea Franz 478174a356 chore(XPToken): add certora base config
2024-10-11 16:56:03 +02:00

4 lines
31 B
Ruby
Raw Permalink Blame History

rule test {
assert true;
}
Reference in New Issue View Git Blame Copy Permalink