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 |
William Banfield |
21309ccb7b
|
clist: add a few basic clist tests (#6727) | 4 years ago |
William Banfield |
fdc246e4a8
|
libs/clist: revert clear and detach changes while debugging (#6731) | 4 years ago |
JayT106 |
d66d1ada5b
|
libs/CList: automatically detach the prev/next elements in Remove function (#6626)
closes #2207 Also added `Clear()` function if we want to clear whole elements in CList. |
4 years ago |
Marko |
719e028e00
|
libs: internalize some packages (#6366)
## Description Internalize some libs. This reduces the amount ot public API tendermint is supporting. The moved libraries are mainly ones that are used within Tendermint-core. |
4 years ago |