search

flipperzero-rs / flipperzero

Rust on the Flipper Zero
MIT License
499 stars 32 forks source link

flipperzero: Enable Miri to start running the tests #123

Closed str4d closed 4 months ago

str4d commented 9 months ago

It doesn't successfully run the tests because Miri doesn't yet support FFI, but these changes enable the following command to actually start:

MIRI_NO_STD=1 cargo miri test --target thumbv7em-none-eabihf

Part of flipperzero-rs/flipperzero#100.

str4d commented 9 months ago

Rebased on main.

str4d commented 9 months ago

Force-pushed to address comments.

str4d commented 5 months ago

Rebased on current main.

str4d commented 5 months ago

Pushed a commit to switch to latest nightly for stabilised cfg_target_abi (and fix resulting Clippy lints).