Определить функцию list-Average, которая вычисляет среднее значение списка в acl2. - PullRequest
0 голосов
/ 11 ноября 2019

;;;TODO-1 Определяет функцию list-Average, которая вычисляет среднее значение списка. ;;;Примечание: если список пуст, эта функция должна вернуть -1000 ;;;Убедитесь, что у вас есть как минимум 5 модульных тестов для этой функции (deflabel todo-1) (defun list-average (l) 0; замените эту строку на правильное определение)

(check-ожидайте (list-average (список 4 6 5)) 5) (ожидаемый чек (средний список (список 12 17 16)) 15)

...