informalsystems / themis-tracer

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

Implement context subcommand #50

Closed shonfeder closed 3 years ago

shonfeder commented 3 years ago

Closes #41

Implements the context subcommand for managing different development contexts. This includes the following nested subcommands:

See the integration tests in tests/usage.md for more details.

This also adds a new integration test suite tests/errors.md for recording and testing correct response to user errors.