<KenMatsui[m]> "Hi Rust Embedded WG,..." <- > <@kenmatsui1:matrix.org> Hi Rust Embedded WG,
> 
> My name is Ken, and I'm working on implementing a Rust compiler support for our bare-metal (no_std) target.  One issue I'm facing is that it is unclear how to prove our Rust compiler is working correctly.
> 
> Tier 2 or lower targets don't seem to run tests on the Rust compiler.  As far as I know, some small tests are executed here, but they don't seem exhaustive.
> 
> https://github.com/rust-embedded/riscv/tree/master/tests/tests
> 
> I was wondering what methodology of testing and/or other tests for the Rust compiler on bare-metal targets you are using?
> 
> Thank you!
> Ken

Ferrocene has solved this problem.