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