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 way of escaping/ignoring unit tags #93

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

The tags we are using for testing are getting picked up at as implementations units, so we'll need to ignore them.