<!-- Command-line verification --> 命令行验证

# 命令行验证

> 小节：
> 替换库
> 其他验证选项
> 测试多个文件
> 测试载体

Logisim-evolution 包括对从命令行执行电路的基本支持。 这样做的目的是帮助对电路设计进行脚本验证，并帮助教师对学生的解决方案进行自动测试。

我们将首先了解如何从命令行执行电路。 对于我们的示例，我们假设我们已在名为 `adder-test.circ` 的文件中构建了以下电路。 它使用两位加法器作为子电路，并使用计数器迭代所有 16 个可能的输入。

构建此电路后，我们从命令行执行 Logisim-evolution，提供项目的文件名和 -tty 选项以及 < table 参数。

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

在不打开任何窗口的情况下，Logisim-evolution 加载电路并开始执行它，尽可能快地滴答任何时钟，同时完成每个滴答之间的传播。 每次传播完成后，Logisim-evolution 加载输出引脚的当前值； 如果与之前的传播相比有任何更改，则所有值都以制表符分隔的格式显示。 如果有一个输出引脚标有特殊单词 halt （区分大小写），则不会显示其输出 - 但一旦传播完成后该引脚的值达到 1，Logisim-evolution 就会结束模拟。

对于我们的示例，Logisim-evolution 显示下表。 因为我们有两个输出引脚对应于两位加法器的两个输入 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

下一节: 替换库 .