8 commits

Author	SHA1	Message	Date
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	3c5b2329bc	tests belong in specific packages	2022-07-04 13:36:06 -04:00
Simon Cruanes	10865eaced	reformat	2022-07-04 13:36:06 -04:00
Simon Cruanes	e242b004ad	use preproc to deal with 4.03 and others < 4.08 versions	2022-07-02 23:39:33 -04:00
Simon Cruanes	3b2cd786e2	finish removing qtest	2022-07-02 22:12:40 -04:00
Simon Cruanes	1e4a22fbf2	refactor: finish migration to qtest	2022-07-02 22:09:25 -04:00
Simon Cruanes	1111c0fa9a	wip: convert tests into testlib	2022-07-02 14:47:03 -04:00