5 commits

Author	SHA1	Message	Date
Simon Cruanes	e01b758de8	more tests	2022-07-04 22:04:50 -04:00
Simon Cruanes	30cb40c71f	test: add strong tests for BV ... we use the classic QCheck construction with a random list of operations, and test: - internal invariant after each operation - same cardinal and content as reference implementation after each operation	2022-07-04 21:56:14 -04:00
Simon Cruanes	3dd63964fb	Merge branch 'master' into ccbv_bytes2	2022-07-04 14:35:25 -04:00
Simon Cruanes	10865eaced	reformat	2022-07-04 13:36:06 -04:00
Simon Cruanes	1111c0fa9a	wip: convert tests into testlib	2022-07-02 14:47:03 -04:00