Ensure that every added unit has a parent, unless it is an UrUnit

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems

Apache License 2.0

4 stars 0 forks source link

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

If not, then the specifications are missing a top-level requirement