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.

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

Add mbox.c Heapster example #1374

Merged
merged 2 commits into from
Jul 9, 2021
Merged

Add mbox.c Heapster example #1374

merged 2 commits into from
Jul 9, 2021

Conversation

m-yac
Copy link
Contributor

@m-yac m-yac commented Jul 9, 2021

This PR incorporates the mbox.c example from the Charybdis repo into the Heapster examples directory. It also comments out the print statements from the rust examples, to improve readability of the console output.

Note that the mbox_copy_spec_ref proof takes on the order of two minutes to complete, and thus will increase the runtime of Heapster's parts of the CI by the same amount. In a future PR, I will work to get this runtime down.

@m-yac m-yac requested review from glguy and eddywestbrook July 9, 2021 21:23
Copy link
Contributor

@eddywestbrook eddywestbrook left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hooray for more CI! Now we will hopefully break fewer things! Thanks Matt, this looks great!

@m-yac m-yac added the PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run label Jul 9, 2021
@mergify mergify bot merged commit 235d05e into master Jul 9, 2021
@mergify mergify bot deleted the heapster-add-mbox-example branch July 9, 2021 22:32
@m-yac m-yac added the subsystem: heapster Issues specifically related to memory verification using Heapster label Oct 14, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run subsystem: heapster Issues specifically related to memory verification using Heapster
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants