Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

remove redundant unlock check from stake policy

Browse source
This commit is contained in:
Hongrui Fang 2022-10-20 20:27:31 +08:00
parent 561cc6c378
commit 52ea8115e3
2 changed files with 10 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

2
agora-specs/Spec/Stake.hs
View file

@ -123,7 +123,7 @@ specs =
, Destroy.mkTestTree
"Destroy locked stakes"
Destroy.lockedStakes
(Destroy.Validity (Just False) False)
(Destroy.Validity (Just True) False)
, Destroy.mkTestTree
"not authorized by owner"
Destroy.notAuthorized