tendermint

9546 Commits

183 Branches

291 MiB

Tree: 97d47b5263

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 (97d47b52639280d87be8c3b492c8640c6b69d96f)