Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

update GitHub CI/CD/CV #128

Open
kiniry opened this issue Nov 2, 2022 · 0 comments
Open

update GitHub CI/CD/CV #128

kiniry opened this issue Nov 2, 2022 · 0 comments
Assignees
@kiniry
Labels
CI/CD/CV Issues that relate to our continuous integration/development/verification infrastructure. On Deck Q/A Quality assurance issue; validation, testing, and formal assurance.
Milestone
Second Polishing ...

Comments

@kiniry
Copy link
Member

kiniry commented Nov 2, 2022

We should consider for inclusion:

  • a full build of the RTS
  • an execution of all model-based scenario tests for at least the POSIX digital twin
  • re-execution of the assurance case via make check
  • re-execution of the Frama-C assurance case via the docker image run
  • an execution of the tests in the Verilator build
@kiniry kiniry added On Deck CI/CD/CV Issues that relate to our continuous integration/development/verification infrastructure. Q/A Quality assurance issue; validation, testing, and formal assurance. labels Nov 2, 2022
@kiniry kiniry added this to the First Public Release milestone Nov 2, 2022
@kiniry kiniry self-assigned this Sep 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kiniry kiniry

Labels
CI/CD/CV Issues that relate to our continuous integration/development/verification infrastructure. On Deck Q/A Quality assurance issue; validation, testing, and formal assurance.
Projects
None yet
Milestone
Second Polishing Release
Development

No branches or pull requests
1 participant
@kiniry