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 add command #15

Closed shonfeder closed 3 years ago

shonfeder commented 4 years ago

See #6

tracer add [PATH] should register all specs in PATH (recursively), where PATH is, initially, add a local git repo.

Additional functionality will be added in followup tickets.

Presupposes an active context (#41).