# Подстановка библиотек

Теперь предположим, что у нас есть две схемы Logisim, которые должны делать одно и то же. Как у преподавателя, у вас могут быть работы, выполненные учащимися: у вас есть один файл с вашим решением и несколько файлов учащихся, содержащих их работы. Например, задание было построить двухбитный сумматор.

Я представлю, что у нас есть два файла с именами `adder-master.circ` и `adder-query.circ`. Каждый файл содержит схему с названием 2-bit adder (важно, чтобы схема для проверки имела точно такое же название), эти схемы выглядят следующим образом.

> `adder-master.circ` | `adder-query.circ`

Как вы видите, эталонная схема использует встроенный в Logisim сумматор, а проверяемая схема использует две подсхемы, представляющие собой полусумматор и полный сумматор (которые в свою очередь построены из простых логических элементов). Для целей нашего примера проверяемая схема имеет глупую ошибку: бит переноса из полусумматора не соединён с полным сумматором.

Мы сохраняем нашу проверяющую схему в отдельный файл. Затем мы загружаем `adder-master.circ` как библиотеку Logisim (Проект > Загрузить библиотеку > Библиотека Logisim…), и добавляем двухбитный сумматор оттуда как подсхему. Мы могли бы выполнить эту схему непосредственно, чтобы получить желаемый результат для идеального решения.

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

Но мы хотим выполнить схему, используя как загруженную библиотеку `adder-query.circ` вместо `adder-master.circ`. Наивным подходом будет открыть Logisim и загрузить эту библиотеку; или вы можете просто удалить файл `adder-master.circ` и переименовать `adder-query.circ` в `adder-master.circ` вместо него. Но Logisim включает удобный параметр `-sub`, который временно заменяет один файл другим в ходе этой сессии - без каких-либо изменений на диске.

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

Вывод, который вы увидите, показан ниже; он конечно отличается от того, что мы видели в предыдущем разделе, поскольку сейчас выполняется неправильный `adder-query.circ`.

>     00      00      0E0
>     01      00      0E1
>     10      00      EE0
>     11      00      EE1
>     00      01      0E1
>     01      01      0E0
>     10      01      EE1
>     11      01      EE0
>     00      10      EE0
>     01      10      EE1
>     10      10      1E0
>     11      10      1E1
>     00      11      EE1
>     01      11      EE0
>     10      11      1E1
>     11      11      1E0

Далее: Другие параметры проверки.