Verify using MIRI - Githubissues

ldesgoui / discord_game_sdk

Rust bindings for the Discord Game SDK

https://docs.rs/discord_game_sdk

Apache License 2.0

62 stars 11 forks source link

Closed ldesgoui closed 4 years ago

ldesgoui commented 4 years ago

Can't call to C FFI yet
A lot of the API will require some mocking (just enough to verify, no feature parity)
We might have to edit discord_game_sdk.h during build.rs to make some cases legal (mut ptrs that shouldn't be)