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

Написать контракт ACSL для сигнатуры заданной функции, соответствующий данному требованию.

  1. Функция unsigned long irand2(void). Требование: функция возвращает число, у которого (в битовом представлении) установлено в единицу строго два бита.
  2. Функция unsigned long irandn(int n). Требование: функция возвращает число, у которого (в битовом представлении) установлено в единицу строго n бит.

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

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