Вторая домашняя работа блока спецификации

Написать спецификацию, отражающие следующие требования.

Пусть есть глобальные переменные
int *maxValues;
int maxValuesCount;

Пусть есть функция
void action(int v);

Переменная maxValuesCount предназначена для хранения размера массива maxValues.
Массив maxValues предназначен для хранения maxValuesCount максимальных по значению различных аргументов функции action() в порядке убывания.

При спецификации можно расчитывать, что других функций, изменяющих maxValues и maxValuesCount не существует.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *