issues
search
informalsystems
/
themis-tracer
A tool for managing complex contexts for developing critical systems
Apache License 2.0
4
stars
0
forks
source link
Make `context new` switch to the created context
#71
Closed
shonfeder
closed
3 years ago
shonfeder
commented
3 years ago
Closes #69
Closes #69