search

informalsystems / themis-tracer

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

Implement `unit list` and `unit show` subcommands #59

Closed shonfeder closed 3 years ago

shonfeder commented 3 years ago

Adds the ability to list all the logical units in the current context and to show detailed information about particular units.