-
Notifications
You must be signed in to change notification settings - Fork 269
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
Run performance comparison in CI using Kani's Benchcomp #8171
Conversation
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## develop #8171 +/- ##
========================================
Coverage 79.64% 79.64%
========================================
Files 1684 1684
Lines 195661 195661
========================================
Hits 155837 155837
Misses 39824 39824 ☔ View full report in Codecov by Sentry. |
5467902
to
a7d0189
Compare
3ac5219
to
14f1334
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I have finally gotten round to this, sorry for the delay. Thank you so much for adding this!
c67b97f
to
7ff63f2
Compare
Will wait for model-checking/kani#3077 to be merged: with that one we'll also get scatterplots (see that PR for examples). |
7ff63f2
to
a08183a
Compare
Use proof harnesses in AWS C Common as (initial) benchmark to guard against performance regressions introduced in PRs. See the "Summary" behind any of the executions of https://github.com/model-checking/kani/actions/workflows/bench.yml for examples what the output will look like. Co-authored-by: Kareem Khazem <karkhaz@amazon.com>
a08183a
to
ddb4060
Compare
https://github.com/diffblue/cbmc/actions/runs/8356289780 now includes examples of scatterplots. |
Use proof harnesses in AWS C Common as (initial) benchmark to guard against performance regressions introduced in PRs. See the "Summary" behind any of the executions of
https://github.com/model-checking/kani/actions/workflows/bench.yml for examples what the output will look like.