Commit graph

2801 commits

Author SHA1 Message Date
Simon Cruanes
b7d19e9dc5
test 2022-07-05 21:29:03 -04:00
Simon Cruanes
af77f371fd
feat(testlib): allow ?long arg 2022-07-05 21:28:54 -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
e15971934d
feat(BV): add init 2022-07-04 22:15:06 -04:00
Simon Cruanes
b24feaf2d6
strong BV test 2022-07-04 22:09:25 -04:00
Simon Cruanes
36eb87db21
fix(BV): clear bits properly 2022-07-04 22:09:14 -04:00
Simon Cruanes
e01b758de8
more tests 2022-07-04 22:04:50 -04:00
Simon Cruanes
d9717095ef
improve doc for BV 2022-07-04 22:04:40 -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
60b9ece69e
feat(BV): correct many bugs, clarify parts of the API 2022-07-04 21:49:50 -04:00
Simon Cruanes
75fe196d3a
feat(testlib): optional arguments for q 2022-07-04 21:47:24 -04:00
Simon Cruanes
090945c3f8
fix(BV): equal function 2022-07-04 16:08:17 -04:00
Simon Cruanes
cc55e4cdfb
feat(testlib): optional name for all tests 2022-07-04 16:07:58 -04:00
Simon Cruanes
856e73d2b2
fix 2022-07-04 14:37:24 -04:00
Simon Cruanes
2b5b2a0e02
chore: have make test be quiet 2022-07-04 14:35:32 -04:00
Simon Cruanes
3dd63964fb
Merge branch 'master' into ccbv_bytes2 2022-07-04 14:35:25 -04:00
Simon Cruanes
69f2805f10
Merge pull request #414 from c-cube/wip-testlib
custom testlibrary, remove qtest
2022-07-04 13:57:35 -04:00
Simon Cruanes
8d964458d9 chore: ci 2022-07-04 13:36:06 -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
3e2379660e
move cbor tests into tests/ 2022-07-02 23:49:41 -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
919360f96e
remove ounit 2022-07-02 23:18:16 -04:00
Simon Cruanes
55b59b5b91
move more tests into testlib 2022-07-02 22:25:29 -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
Simon Cruanes
91ddccc782
compat 4.03 2022-07-02 01:08:59 -04:00
Simon Cruanes
b695918e99
move all core tests to new testlib 2022-07-02 00:29:25 -04:00
Simon Cruanes
49c06e93fa
wip: use testlib for tests 2022-06-30 22:28:19 -04:00
Simon Cruanes
0bee9bdd55
wip: remove tests from src/ 2022-06-30 22:28:07 -04:00
Simon Cruanes
215c5c7d5b
testlib: improve API 2022-06-30 22:28:01 -04:00
Simon Cruanes
369b208385
test: migrate part of CCList's tests to experiment with testlib 2022-06-30 21:15:16 -04:00
Simon Cruanes
f8d8c0962c
wip: add internal test library to replace qtest 2022-06-30 21:15:16 -04:00
Simon Cruanes
f9abed084e
Merge pull request #413 from c-cube/feat-cbor
add CBOR sub-library
2022-06-30 21:06:58 -04:00
Simon Cruanes
43f88a372f
stronger test for cbor 2022-06-30 21:06:21 -04:00
Simon Cruanes
20fb411b50
compat fix 2022-06-30 20:45:08 -04:00
Simon Cruanes
db9c613f57
add some basic docs for cbor 2022-06-30 20:39:09 -04:00
Simon Cruanes
962874c038
dune 2022-06-30 20:36:14 -04:00
Simon Cruanes
89702924d8
test: add qcheck test for cbor 2022-06-30 20:25:19 -04:00
Simon Cruanes
b1c7c64b87
improve test for cbor 2022-06-30 20:06:38 -04:00
Simon Cruanes
40ceded65f
remove expected file for cbor tests
reason is, under 4.08 we can't produce the same file because CBOR is
basically an empty module.
2022-06-29 20:12:36 -04:00
Simon Cruanes
ddd9ed48f1
chore: disable CI for windows temporarily
it's currently just broken
2022-06-28 23:38:30 -04:00
Simon Cruanes
fd4c679479
disable cbor tests on < 4.08 2022-06-28 23:38:01 -04:00
Simon Cruanes
565b3ed5c2
compat with 4.03 2022-06-28 21:24:53 -04:00
Simon Cruanes
bad23766e3
chore: enable preprocessor in cbor 2022-06-28 20:56:50 -04:00
Simon Cruanes
06b58d36d1
test for cbor, based on appendix A test vector 2022-06-17 22:22:00 -04:00
Simon Cruanes
27ab6af573
depend on yojson for tests 2022-06-17 22:21:59 -04:00
Simon Cruanes
98d0cdfe6d
fix(cbor): many bugfixes 2022-06-17 22:21:56 -04:00