# Command-line verification

> Subsections:
> Substituting libraries
> Other verification options
> Testing multiple files

Logisim includes basic support for executing circuits from the command-line. This is intended both to help with scripted verification of circuit designs and to help instructors perform automated testing of students' solutions.

We'll start by seeing how to execute a circuit from the command line. For our example, we'll suppose we've built the below circuit in a file named `adder-test.circ`. It uses a two-bit adder as a subcircuit and iterates using a counter through all 16 possible inputs to it.

After this circuit has been built, we then execute Logisim from the command line, providing the filename of the project and the -tty option with the table parameter.

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

Without bringing up any windows, Logisim loads the circuit and begins to execute it, ticking any clocks as fast as it can while completing the propagation between each tick. After each propagation is completed, Logisim loads the current values of the output pins; if any have changed from the previous propagation, then all values are displayed in tab-delimited format. If there is an output pin labeled with the special word halt, its output is not displayed — but once the pin's value reaches 1 after a propagation is completed, Logisim ends the simulation.

For our example, Logisim displays the table below. Because we have two output pins corresponding to the two inputs a and b into the two-bit adder, these outputs are included as the first two columns of the output. And there is another output pin corresponding to the two-bit adder's output, so it is the third column. The columns are ordered left-to-right according to the top-down ordering within the circuit.

>     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

Next: Substituting libraries.