Блок test
Вы узнаете
Как пишется блок test и что сообщает упавший assert.
Блок test начинается ключевым словом test и именем и держит в фигурных скобках строки assert. Каждый assert принимает выражение, которое обязано быть истинным. Когда одно ложно, отчёт называет тест и номер assert, например assert #1 is false. Тесты спеки — это её утверждения о себе самой, поэтому каждая спека курса на этом сайте их несёт.
Попробуйте
Нарочно сломайте тест, поменяв DAYS, и прочитайте строку отказа.
A t27 test block and the report it gives when it passes and when an assert is false. Lesson 10 of the t27 basics course.
specs/basics/10_a_test_block.t27
// SPDX-License-Identifier: Apache-2.0
; t27 basics, lesson 10: A test block.
; A test is a name and a list of asserts; each assert must be true.
module basics_10_a_test_block;
pub const DAYS : u16 = 365;
pub const WEEKS : u16 = 52;
test a_year_is_52_weeks_and_a_day {
assert WEEKS * 7 + 1 == DAYS;
}
Все уроки
Модуль 1 · Файл спеки
Что лежит в файле .t27: строка module, строки прозы и комментарии.
Модуль 2 · Значения и типы
Константы, ширина целого числа, а также true, false и текст.
Модуль 3 · Массивы, триты и выражения
Списки значений, три значения трита и что вычисляют операторы.
Модуль 4 · Тесты и функции
Блок test, несколько маленьких тестов в одной спеке и функция с типизированными входами.
Модуль 5 · Внутри функции
Имена через let и var, выбор через if и switch и циклы.
Модуль 6 · Видимость и свои типы
Что pub открывает другим модулям, и структуры и перечисления, которые вы объявляете.
Модуль 7 · Модули, правила и gen-ts
Чтение другого модуля, правило, которое выполняется всегда, и спека, превращённая в TypeScript.
Модуль 8 · Компилятор и tri
Бэкенды, которые пишет t27c, стадии, в которых он читает спеку, и команда tri.
Модуль 9 · Ошибки, программа и что дальше
Как читать ошибку компилятора, одна маленькая законченная программа и какой курс пройти дальше.