Eat our own home cooking: use tracer to check tags in the source code against its spec

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems

Apache License 2.0

4 stars 0 forks source link

Eat our own home cooking: use tracer to check tags in the source code against its spec #5

Open shonfeder opened 4 years ago

shonfeder commented 4 years ago

CI should run against the spec located at https://github.com/informalsystems/vdd/blob/master/traceability/traceability.md and check that all references to the spec in the source code are up kept up to date.

shonfeder commented 3 years ago

The spec should be the anchor point for all other documentation too. It should get included in the mdBook, and we should have integration tests in place here that ensure traces are kept updated etc. See #35