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

[FEATURE] Run valgrind on OpenSUT code #138

Open
podhrmic opened this issue Nov 26, 2024 · 1 comment
Open

[FEATURE] Run valgrind on OpenSUT code #138

podhrmic opened this issue Nov 26, 2024 · 1 comment
Assignees
@podhrmic
Labels
enhancement New feature or request SoW TA2.1.2.A Build assurance case for the Open SUT.
Milestone
Next PI meeting

Comments

@podhrmic
Copy link
Collaborator

  • Experiment with valgrind on OpenSUT, and see if you can find any valuable errors.
  • If valuable, a valgrind test can be added to the CI, for comparison between unverified and verified code.
  • Document your findings
@podhrmic podhrmic added enhancement New feature or request SoW TA2.1.2.A Build assurance case for the Open SUT. labels Nov 26, 2024
@podhrmic podhrmic added this to the MVP 1.0 milestone Nov 26, 2024
@podhrmic podhrmic self-assigned this Nov 26, 2024
@podhrmic podhrmic modified the milestones: MVP 1.0, Next PI meeting Nov 26, 2024
@podhrmic
Copy link
Collaborator Author

Add infer as well

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

@podhrmic podhrmic

Labels
enhancement New feature or request SoW TA2.1.2.A Build assurance case for the Open SUT.
Projects
None yet
Milestone
Next PI meeting
Development

No branches or pull requests
1 participant
@podhrmic