Wiki¶

Система предназначена для генерации тестовых данных на основе заданных ограничений, генераторов и конкретных примеров. На вход системе поступает набор переменных скалярных типов (целые числа, битовые векторы).