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