命令行用法

为了便于自动化测试，可以从命令行运行测试向量功能：

logisim --test-vector <circuit_name> <test_vector_file> <project.circ>

或使用 JAR 文件：

java -jar logisim-evolution.jar --test-vector <circuit_name> <test_vector_file> <project.circ>

参数

• <circuit_name>：要测试的电路名称（必须与项目文件中的电路匹配）
• <test_vector_file>：测试向量文件的路径（例如，TestsDLatch.txt）
• <project.circ>：包含电路的 Logisim 项目文件的路径

示例

java -jar logisim-evolution.jar --test-vector dlatch TestsRegisterFile.txt /home/user/Computer.circ

命令的作用

该命令将：

1. 从项目文件加载指定的电路
2. 加载并解析测试向量文件
3. 运行所有测试（遵循时序执行规则）
4. 打印显示通过和失败测试的结果
5. 成功时退出状态码为 0，失败时为非零

命令输出示例

成功测试的结果将发送到标准输出（stdout），例如：

Loading test vector "testv1b.txt" ...
Running 4 vectors ...
1 
2 
3 
4 

Passed : 4, Failed : 0

如果失败：

Loading test vector "testv1a.txt" ...
Running 4 vectors ...
1 
2 
3 

  ob = 0 (expected 1)
4 

  ob = 1 (expected 0)

Passed : 2, Failed : 2

注意：在错误输出（stderr）中，您将看到：

Error on test vector 3:
Error on test vector 4:

上一页： 时序测试 | 下一页： 提示和最佳实践。