theft автор Hypothesis David R. MacIver назвал только небольшой выбор генераторов данных. Поэтому всё, что остаётся это писать генераторы данных или использовать Hypothesis с импортом функций, например, с помощью CFFI или ctypes.Учитывая ситуацию с PBT для C/C++ для меня было удивлением найти CAVM, который реализует подход search-based тестирования для программ на Си.
Публикация: Evaluating CAVM: A New Search-BasedTest Data Generation Tool for C
Оценка эффективности тестирования с CAVM: https://coinse.kaist.ac.kr/projects/cavm/
Исходный код: https://bitbucket.org/teamcoinse/cavm/src/master/