Finding

https://kerfors.github.io/usdm-overlay/Finding

type
Class
definition
A statement about the USDM model or its published examples, with its evidence and a test that can be re-run against the pinned inputs.