Page MenuHomePhabricator

test: remove rapidcheck integration and tests
ClosedPublic

Authored by Fabien on Aug 20 2020, 14:32.

Details

Reviewers
jasonbcox
Group Reviewers
Restricted Project
Commits
rABC40964aa33908: test: remove rapidcheck integration and tests
Summary
Whilst the property tests are interesting, ultimately rapidcheck
integration in this repository has not gained much traction. We have a
limited number of tests, and they are rarely (if ever) run.

Backport of core PR18514.

Test Plan

Check there is no Cmake issue:

ninja all check

Return nothing:

git grep -i rapidcheck
git grep -i property_based

Diff Detail

Event Timeline

Fabien requested review of this revision.Aug 20 2020, 14:32

[Bot Message]
One or more PR numbers were detected in the summary.
Links to those PRs have been inserted into the summary for reference.

This revision is now accepted and ready to land.Aug 20 2020, 17:44