Я использую property-based тестирование когда пишу что-нибудь критичное на питоне, сейчас нужно вернуться на с++ и написать кое что, поэтому хочу что-то похожее для плюсов. Нагуглил несколько подобных библиотек
http://software.legiasoft.com/quickcheck/
https://github.com/grogers0/CppQuickCheck
https://github.com/emil-e/rapidcheck

У кого-нибудь есть опыт использования? Может что-то готовое уже есть в репозиториях ubuntu?