flipperzero icon indicating copy to clipboard operation
flipperzero copied to clipboard

Published 20 hours ago • verified publisher icon flipperzero-rs

flipperzero: Enable Miri to start running the tests

Open str4d opened this issue 1 year ago • 4 comments
trafficstars

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 avatar Dec 20 '23 17:12 str4d

Rebased on main.

str4d avatar Dec 26 '23 23:12 str4d

Force-pushed to address comments.

str4d avatar Dec 27 '23 00:12 str4d

Rebased on current main.

str4d avatar Apr 18 '24 00:04 str4d

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

str4d avatar Apr 18 '24 00:04 str4d