You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit adds a CI job that runs the benchcomp tool on the
performance regression suite, comparing the HEAD of the pull request to
the branch that the PR targets.
The CI job fails if any performance benchmark regresses when run using
the HEAD version of Kani with respect to the 'base' branch. Regression
is defined as a regression in symex or solver time of 10% for any
benchmark for which this value is >2s, or if any performance benchmark
fails with the HEAD version while passing with the base.
This fixesrust-lang#2277.
jieyouxu
pushed a commit
to jieyouxu/rust
that referenced
this issue
Mar 11, 2025
We are going to use the addrspaces to identify boxes for our stack maps.
Shared boxes go into addrspace 1, uniques addrspace 2.
The text was updated successfully, but these errors were encountered: