Commits on Feb 8, 2022

1. Add miri builder …

   This adds a builder to run `cargo miri` in order to check for certain
   classes of undefined behavior.
   
   One thing to note is that we've had to parameterize a number of tests to
   use a smaller cycle count under miri. This is because miri's stacked
   borrows checker is superlinear:
   
   rust-lang/miri#1367
   
   This can cause the miri builder to run out of memory. To avoid this, we
   reduce the cycle counts for a few tests that are particularly expensive
   when we're running inside miri.

   

   erickt committed Feb 8, 2022
   Configuration menu

   • View commit details
   • Copy full SHA for 4dd6619
   • Browse repository at this point

   Copy the full SHA

   4dd6619 View commit details

   Browse the repository at this point in the history