More tests - #176

Closed

jmid wants to merge 25 commits into

c-cube:masterfrom

jmid:more-tests

Commits on Sep 7, 2021

add shrink logging tests
jmid
committed
4332f4f
remove shrink logging from existing tests
jmid
committed
5acee95
simplify dune logic
jmid
committed
6cf99fd
rename test.ml to a more descriptive name
jmid
committed
80543c3

Commits on Sep 8, 2021

add unit tests for check_exn
jmid
committed
a2ec83f
rename
jmid
committed
3e8a2f3
fix exception documentation
jmid
committed
111eeae
add some QCheck unit tests
jmid
committed
072fe0c

Commits on Sep 11, 2021

add tuple and bind tests - pos/neg/stats
jmid
committed
a078249
update expected outputs
jmid
committed
917a282
add manual tree shrinker and test for QCheck
jmid
committed
316154c
origin of mod 3 test
jmid
committed
d92058d
collect test names in each module, in order
jmid
committed
59be9b0
rm commented code
jmid
committed
3b0404c
update expected output after moving IntTree test
jmid
committed
13f03d2

Commits on Sep 12, 2021

adjust tests gens, add a few more tests
jmid
committed
d71b178
shrink_algo_logs/dune.inc
jmid
committed
2786eb5
updated dune.inc
jmid
committed
d6b69c4
factor tests into reusable module
jmid
committed
e887466
fix bind_pair_ordered + add variant w/gen exception
jmid
committed
48a52ae

Commits on Sep 13, 2021