# Problems Generating Table outputs with Alloy 6.2 CLI interface

**URL:** <https://alloytools.discourse.group/t/problems-generating-table-outputs-with-alloy-6-2-cli-interface/537>\
**Category:** Alloy 6\
**Created:** [August 29, 2025, 10:25pm UTC](https://alloytools.discourse.group/t/problems-generating-table-outputs-with-alloy-6-2-cli-interface/537 "2025-08-29T22:25:51Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![kirk](https://avatars.discourse-cdn.com/v4/letter/k/f9ae1b/32.png) [@kirk](https://alloytools.discourse.group/u/kirk)\
**Post date:** [August 29, 2025, 10:25pm UTC](https://alloytools.discourse.group/t/problems-generating-table-outputs-with-alloy-6-2-cli-interface/537/1 "2025-08-29T22:25:51Z")

</div>

Hi,  
I’m running into problems using the Alloy 6.2 CLI interface to generate the tabular representation for a solution. Here’s an example using the `addressBook3a.als` example from the included examples directory.

When I run the `Run show for 4` command via the GUI, open the visualization window, and then select the “Table” view, it shows a table with all of the sig types, and lists how the relations are populated for all values in the solution.

```plaintext
┌──────────────┬─────┬───────────┐
│BookOrder/Ord │First│Next │
├──────────────┼─────┼─────┬─────┤
│BookOrder/Ord⁰│Book⁰│Book⁰│Book¹│
│ ├─────┼─────┼─────┤
│ │ │Book¹│Book²│
│ │ ├─────┼─────┤
│ │ │Book²│Book³│
└──────────────┴─────┴─────┴─────┘

┌─────────┐
│this/Addr│
├─────────┤
│Addr⁰ │
└─────────┘

┌─────────┬──────┬────────────┐
│this/Book│names │addr │
├─────────┼──────┼────────────┤
│Book⁰ │ │ │
├─────────┼──────┼──────┬─────┤
│Book¹ │Group⁰│Group⁰│Addr⁰│
├─────────┼──────┼──────┼─────┤
│Book² │Group⁰│Group⁰│Addr⁰│
├─────────┼──────┼──────┼─────┤
│Book³ │Group⁰│Group⁰│Addr⁰│
└─────────┴──────┴──────┴─────┘

┌──────────┐
│this/Group│
├──────────┤
│Group⁰ │
└──────────┘

┌─────────┐
│this/Name│
├─────────┤
│Group⁰ │
└─────────┘

┌───────────┐
│this/Target│
├───────────┤
│Addr⁰ │
├───────────┤
│Group⁰ │
└───────────┘

┌────────────────┐
│$BookOrder/first│
├────────────────┤
│Book⁰ │
└────────────────┘

┌───────────────┐
│$BookOrder/last│
├───────────────┤
│Book³ │
└───────────────┘

┌───────────────┐
│$BookOrder/next│
├─────┬─────────┤
│Book⁰│Book¹ │
├─────┼─────────┤
│Book¹│Book² │
├─────┼─────────┤
│Book²│Book³ │
└─────┴─────────┘

┌───────────────┐
│$BookOrder/prev│
├─────┬─────────┤
│Book¹│Book⁰ │
├─────┼─────────┤
│Book²│Book¹ │
├─────┼─────────┤
│Book³│Book² │
└─────┴─────────┘

┌────────────┐
│$show_n │
├─────┬──────┤
│Book⁰│Group⁰│
├─────┼──────┤
│Book¹│Group⁰│
├─────┼──────┤
│Book²│Group⁰│
└─────┴──────┘

┌────────────┐
│$show_t │
├─────┬──────┤
│Book⁰│Addr⁰ │
├─────┼──────┤
│Book¹│Group⁰│
├─────┼──────┤
│Book²│Group⁰│
└─────┴──────┘

```

When I run via the CLI with command `java -jar /org.alloytools.alloy.dist.jar exec -t table -c 0 addressBook3a.als, the table from the generated markdown file (shown below) doesn’t contain any useful information.

```plaintext
Command show
Solution index 0
Trace length 1
Loop state 0

State index 0
Loop back true
┌───────────┬───────────┬──┐
│sig │fields │<-│
├───────────┼───────────┤ │
│this/Target│this/Target│ │
│ ├───────────┤ │
│ │Target² │ │
│ ├───────────┤ │
│ │Target³ │ │
├───────────┼───────────┤ │
│ │ │ │
├───────────┼───────────┤ │
│ │ │ │
├───────────┼───────────┤ │
│ │ │ │
├───────────┼───────────┤ │
│ │ │ │
├───────────┼───────────┤ │
│ │ │ │
└───────────┴───────────┴──┘

```

How can specify to the CLI table output that I want the full tables, the same ones that generated in the GUI. Thanks!

Cheers  
Kirk

---

<div class="post-metadata">

**Author:** ![NganTran-0017](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/ngantran-0017/32/250_2.png) [@NganTran-0017](https://alloytools.discourse.group/u/NganTran-0017)\
**Post date:** [March 17, 2026, 1:08am UTC](https://alloytools.discourse.group/t/problems-generating-table-outputs-with-alloy-6-2-cli-interface/537/2 "2026-03-17T01:08:19Z")

</div>

I’m having the same question. Could someone please explain it? Also, is it possible to show the output in other format such as tree, text, or viz using command line?

---

<div class="post-metadata">

**Author:** ![kirk](https://avatars.discourse-cdn.com/v4/letter/k/f9ae1b/32.png) [@kirk](https://alloytools.discourse.group/u/kirk)\
**Post date:** [March 17, 2026, 10:00pm UTC](https://alloytools.discourse.group/t/problems-generating-table-outputs-with-alloy-6-2-cli-interface/537/3 "2026-03-17T22:00:32Z")

</div>

Here’s a link to the GitHub issue for the tabular output data [CLI tabular output leaves all but one row blank · Issue #336 · AlloyTools/org.alloytools.alloy · GitHub](https://github.com/AlloyTools/org.alloytools.alloy/issues/336)