Я хотел бы провести некоторое тестирование на основе свойств в библиотеке C ++, над которой я...

Я хочу написать основанный на свойствах модульный тест, который доказывает, что целочисленное...