14 commits

Author	SHA1	Message	Date
Samuel Hym	f58310913a	Allow explicit fallback to bytecode for various tests ... Relax the requirements for the tests, to fall back on the bytecode version when the native version is not available. Otherwise the tests will fail on bytecode-only architectures.	2022-12-22 23:08:14 +01:00
Simon Cruanes	b7d19e9dc5	test	2022-07-05 21:29:03 -04:00
Simon Cruanes	8b751754ba	test: compat 4.03	2022-07-04 22:16:46 -04:00
Simon Cruanes	feaa8ecf7d	test BV.init	2022-07-04 22:15:13 -04:00
Simon Cruanes	b24feaf2d6	strong BV test	2022-07-04 22:09:25 -04:00
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	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