informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Refine `unit list` command #16

Closed shonfeder closed 3 years ago

shonfeder commented 4 years ago
tracer list

will list all logical units in the current context.

See #6

shonfeder commented 3 years ago

The core functionality was implemented in #58, but the end result is a bit noisy.

So I'm refitting this issue to track the need to refine the presentation of the logical units, and add a sub command to show the full info about a unit given its tag. The behavior should be