Kontrol property tests for RepoTokenList
and TermAuctionList
invariants
#125
Job | Run time |
---|---|
17s | |
10s | |
27s |
RepoTokenList
and TermAuctionList
invariants
#125
Job | Run time |
---|---|
17s | |
10s | |
27s |