t27.aiEnglish

tri: командная строка

Вы узнаете

Что делает tri test, как tri передаёт остальные слова t27c и какие команды у него свои.

В репозитории gHashTag/t27 scripts/tri — небольшая обёртка. tri test запускает набор проверок соответствия, t27c suite --repo-root .; слово, которого tri не знает, например gen или seal, передаётся t27c. Свои команды у него — audit, recall, frontier, lesson и help. Этот урок прочитал скрипт и не запускал его: нативный t27c собирается на машине с Linux, и этот курс не запускает его на вашей.

Попробуйте

Прочитайте таблицу и скажите, какие команды уходят в t27c, а какие остаются внутри tri.

Открыть интерактивный урок →

t27 basics 24: where a tri command goes
t27 basics 24: where a tri command goes ↗

Which tri commands run inside the script and which are handed to t27c, read from scripts/tri in gHashTag/t27. Lesson 24 of the t27 basics course.

specs/basics/24_tri_commands.t27

// SPDX-License-Identifier: Apache-2.0
; t27 basics, lesson 24: tri: the command line.
; tri is the command the t27 repository uses to test, generate and check specs.

module basics_24_tri_commands;

pub const OWN_COMMANDS : [5]str = ["audit", "recall", "frontier", "lesson", "help"];
pub const PASSED_TO_T27C : [2]str = ["gen", "seal"];
pub const TEST_RUNS : str = "t27c suite --repo-root .";

test tri_test_runs_the_suite {
    assert TEST_RUNS == "t27c suite --repo-root .";
    assert OWN_COMMANDS[4] == "help";
    assert PASSED_TO_T27C[1] == "seal";
}

Открыть спеку урока в плеере ↗

Все уроки