tendermint

9323 Commits

183 Branches

291 MiB

Tree: 070445bc10

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 (070445bc1088a8cf08bace8080a4549e93dff5a3)