# Проверка из командной строки

> Подразделы:
> Подстановка библиотек
> Другие параметры проверки
> Проверка нескольких файлов Тестирование с помощью тестовых векторов

Logisim включает базовую поддержку выполнения схем из командной строки. Это сделано для проверки схем с помощью скриптов и чтобы помочь преподавателям выполнять автоматическую проверку работ учащихся.

Начнем с того, как выполнить схему из командной строки. Для примера мы предположим, что сохранили схему, показанную ниже, в файл с именем `adder-test.circ`. Она использует двухбитный сумматор как подсхему и пробегает все 16 возможных комбинаций на входах, используя счётчик.

После постройки этой схемы мы запустим Logisim из командной строки, передавая имя файла проекта и параметр -tty с аргументом able.

> `java -jar logisim-filename.jar adder-test.circ -tty table`

Без вывода каких-либо окон Logisim загрузит схему и начнёт выполнять её, производя срабатывания тактовых генераторов так быстро, как только может, выполняя просчёт между каждым срабатыванием. После завершения каждого просчёта Logisim снимает значения с выходных контактов; если любое из них изменилось после предыдущего просчёта, то выводятся все значения, разделённые символами табуляции. Если есть выходной контакт, помеченный специальным словом halt (с учётом регистра), то значение на нём не выводится, но как только оно становится 1 после завершения просчёта, Logisim завершает моделирование.

В нашем примере Logisim выводит таблицу, представленную ниже. Поскольку у нас есть два выходных контакта, соответствующих входам a и b двухбитного сумматора, эти выходы включены как первые два столбца. И есть другой выходной контакт, соответствующий выходу двухбитного сумматора sum, так что он в третьем столбце. Столбцы идут слева направо в порядке, соответствующем порядку сверху вниз в схеме.

>     00      00      000
>     01      00      001
>     10      00      010
>     11      00      011
>     00      01      001
>     01      01      010
>     10      01      011
>     11      01      100
>     00      10      010
>     01      10      011
>     10      10      100
>     11      10      101
>     00      11      011
>     01      11      100
>     10      11      101
>     11      11      110

Далее: Подстановка библиотек.