How to determine which files to load logical units from?

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

We are currently just looking inside of .md files. We should also start looking inside of source files (once there is support for this).

We should also look inside of .tla files.

This should also be configurable. Should the configuration be at the level of the user's config or via a file repos? Both?