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

ensuring model-based test bench is still operational #127

Open
kiniry opened this issue Nov 1, 2022 · 1 comment
Open

ensuring model-based test bench is still operational #127

kiniry opened this issue Nov 1, 2022 · 1 comment
Assignees
@kiniry
Labels
assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. CI/CD/CV Issues that relate to our continuous integration/development/verification infrastructure. documentation Issues that relate to documentation about the system, including user and developer docs, source code ENHANCEMENT New feature or request Q/A Quality assurance issue; validation, testing, and formal assurance. verification WiP
Milestone
Second Polishing ...

Comments

@kiniry
Copy link
Member

kiniry commented Nov 1, 2022

  • update README.md wrt runtime verification
  • update top-level Makefile to run end-to-end scenario-based tests
  • record video demonstrating testing
@kiniry kiniry added documentation Issues that relate to documentation about the system, including user and developer docs, source code ENHANCEMENT New feature or request verification WiP assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. 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 1, 2022
@kiniry kiniry self-assigned this Nov 1, 2022
@kiniry kiniry added this to the First Public Release milestone Nov 2, 2022
@kiniry
Copy link
Member Author

kiniry commented Nov 2, 2022

I have re-enabled the full testbench, added the missing Makefile (which was documented, but never added to the project; it was probably created by Alex but he forgot to push it before departing Galois), and re-run all tests. The related PR is now ready for review.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kiniry kiniry

Labels
assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. CI/CD/CV Issues that relate to our continuous integration/development/verification infrastructure. documentation Issues that relate to documentation about the system, including user and developer docs, source code ENHANCEMENT New feature or request Q/A Quality assurance issue; validation, testing, and formal assurance. verification WiP
Projects
None yet
Milestone
Second Polishing Release
Development

When branches are created from issues, their pull requests are automatically linked.

127-ensuring-model-based-test-bench-is-still-operational GaloisInc/HARDENS
1 participant
@kiniry