Skip to content
Testing the Rust standard library with Miri, continuously
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.

This repository serves to run the libcore and liballoc unit test suites in Miri. We carry a patch file against the currently tested Rust version to skip tests in Miri or to fix test failures. The patches in that file will get upstreamed, but we do not always want to wait until that happens.

Every night, a Travis cron job runs the tests against the latest nightly, to make sure we notice when changes in Rust or Miri break a test.

You can’t perform that action at this time.