Kontrol property tests for RepoTokenList
and TermAuctionList
invariants
#121
Job | Run time |
---|---|
1m 34s | |
1m 34s |
RepoTokenList
and TermAuctionList
invariants
#121
Job | Run time |
---|---|
1m 34s | |
1m 34s |