`ogma-cli`: Document format of variable DB. Refs #143. - Githubissues

nasa / ogma

Generator of runtime monitors for flight and robotics applications.

Other

335 stars 25 forks source link

`ogma-cli`: Document format of variable DB. Refs #143. #144

Closed ivanperez-keera closed 5 months ago

ivanperez-keera commented 5 months ago

Document, in the README, the format of the variables DB file, as prescribed in the solution proposed for #143.

ivanperez-keera commented 5 months ago

Change Manager: Verified that:

Solution is implemented:
- [X] The code proposed compiles passes the tests. Details:
- Build logs:
  - https://github.com/nasa/ogma/actions/runs/9193163983/job/25283541971?pr=144
  - https://github.com/nasa/ogma/actions/runs/9193163986/job/25283542012?pr=144
- Build log archives:
  - logs_24061101146.zip
  - logs_24061101149.zip
- [X] The solution proposed fixes the issues described. Performed by visual inspection: I have opened the README and checked that the new section is there, is in its correct location, and it's accurate. The issue is with the README. There is no good, automated way to check that it is correct.
[X] Implementation is documented. Details: The change is to the documentation.
[X] Change history is clear.
[X] Commit messages are clear.
[X] Changelogs are updated.
[X] Examples are updated. Details: No updates needed.
[X] Required version bumps are evaluated. Details: Bump not needed (bug fix).