add tests for authority token function 'singleAuthorityTokenBurned'
This commit is contained in:
parent
27f5b5de16
commit
956dbb4b53
3 changed files with 159 additions and 0 deletions
|
|
@ -8,6 +8,7 @@ import Test.Tasty (defaultMain, testGroup)
|
|||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
import Spec.AuthorityToken qualified as AuthorityToken
|
||||
import Spec.Model.MultiSig qualified as MultiSig
|
||||
import Spec.Stake qualified as Stake
|
||||
|
||||
|
|
@ -28,4 +29,7 @@ main =
|
|||
, MultiSig.genTests
|
||||
]
|
||||
]
|
||||
, testGroup
|
||||
"AuthorityToken tests"
|
||||
AuthorityToken.tests
|
||||
]
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue