View commands

View commands present components of the current formal state.

State

speclogician view instances
speclogician view instance --idx 0
speclogician view diff

speclogician view spec
speclogician view domain

speclogician view scenarios
speclogician view scenario scenario_1

speclogician view artifacts
speclogician view traces
speclogician view docs
speclogician view src