Пусть есть глобальные переменные
int *maxValues;
int maxValuesCount;
Пусть есть функция
void action(int v);
Переменная maxValuesCount предназначена для хранения размера массива maxValues. Массив maxValues предназначен для хранения maxValuesCount максимальных по значению различных аргументов функции action в порядке убывания. Функция action не теряет аргументы, а лишь дополняет массив maxValues значением своего аргумента, если его там не было. Других функций, изменяющих указанные глобальные переменные, нет.
Написать спецификации, отражающие все вышеописанные требования (и только их!).
Для самостоятельной проверки спецификации рекомендуется написать несколько разных несложных реализаций функции action и доказать их соответствие спецификации, а также написать несколько функций, сохраняющих значения глобальных переменных, потом вызывающих функцию action, потом сравнивающих значения глобальных переменных с сохраненными значениями переменных.
Задание нужно сделать и отправить на почту до 12:00 9 апреля.