tarantool / tarantool / 15438396766

88%

push

github

test: add a MVCC fuzzing test

The test for Tarantool allows you to generate random interleaved
(concurrent) transactions for the memtx and vinyl engines, and verify the
consistency of their execution w.r.t. serializability.

Bugs found by the test:
- #6206
- #6325
- #6452
- #7073
- #7113
- #7214
- #7217
- #7234
- #7235
- #7238
- #7239
- #7240
- #7343
- #7375
- #7409
- #7432
- #7449
- #7477
- #7478
- #7490
- #7493
- #7670
- #7685
- #7712
- #7755
- #7756
- #7757
- #7761
- #7828
- #7837
- #8104
- #11294
- #11348
- #11354

Closes #5999

NO_CHANGELOG=<fuzzing>
NO_DOC=<fuzzing>
NO_TEST=<fuzzing>

70426 of 124189 branches covered (56.71%)

103600 of 118383 relevant lines covered (87.51%)

2769417.79 hits per line