Я хотел бы провести некоторое тестирование на основе свойств в библиотеке C ++, над которой я работаю, и собирался использовать RapidCheck, если у кого-то нет более хорошей идеи. (Мне понадобится, например, генерировать произвольные std::set<int>, и если я смогу установить границы в диапазоне int в наборах и размере наборов, тем лучше.)
При всем этом, я все еще немного новичок. Похоже, в RapidCheck нет никаких инструкций, кроме как включить его как часть исходного кода (хотя его загрузка была бы лучше). Я дошел до того, что я могу включить заголовки для RapidCheck в свой код, но когда я пытаюсь создать любое приложение, используя RapidCheck, мне говорят, что отсутствуют символы из RapidCheck или отсутствует библиотека quickcheck.
Я предполагаю, что мне нужно собрать сам RapidCheck как часть проекта для генерации библиотеки, но я не совсем уверен, как это сделать, и, кажется, трудно найти какие-либо примеры, где это делается.
Есть ли у кого-нибудь предложения примеров, когда такие вещи делаются так, чтобы я мог видеть строку команд, необходимую для создания стороннего API и включать библиотеку при создании исполняемых файлов, или, что еще лучше, пример проекта используя RapidCheck, который делает именно это? Отсутствие документации о том, как это настроить, обескураживает.
Надеюсь, это не слишком расплывчато. Подводя итог, что я хотел бы сделать из cmake:
- Желательно загрузить RapidTest (хотя, в том числе, и файлы напрямую из проекта RapidTest тоже подойдут).
- Запустите необходимые команды и установите необходимые переменные, чтобы мой тестовый код (в
${PROJECT_SOURCE_DIR}/test) имел доступ к заголовкам RapidTest.
- Сгенерируйте (при необходимости) библиотеку RapidTest и сделайте так, чтобы я мог связать ее с выполняемыми мною тестами.
Заранее благодарим за любую помощь, которую вы можете предложить!