tendermint

9308 Commits

183 Branches

291 MiB

Tree: 26b887b883

Commit Graph

Author	SHA1	Message	Date
William Banfield	e801328128	clist: add simple property tests (#6791 ) Adds a simple property test to the `clist` package. This test uses the [rapid](https://github.com/flyingmutant/rapid) library and works by modeling the internal clist as a simple array. Follow up from this mornings workshop with the Regen team.	3 years ago

Author

SHA1

Message

Date

William Banfield

e801328128

clist: add simple property tests (#6791 )

Adds a simple property test to the `clist` package. This test uses the [rapid](https://github.com/flyingmutant/rapid) library and works by modeling the internal clist as a simple array.

Follow up from this mornings workshop with the Regen team.

3 years ago

1 Commits (26b887b883fe85a60053ee8e5a77650eb26d9d96)