mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update README

Browse Source
This commit is contained in:
Aaron Hill 2020-09-24 19:10:09 -04:00
parent e1bce19ca9
commit 11e2dbd51c
No known key found for this signature in database
GPG Key ID: B4087E510E98B164
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -269,10 +269,11 @@ extern "Rust" {
/// Miri-provided extern function to obtain a backtrace of the current call stack.
/// This returns a boxed slice of pointers - each pointer is an opaque value
/// that is only useful when passed to `miri_resolve_frame`
fn miri_get_backtrace() -> Box<[*mut ()]>;
/// The `flags` argument must be `0`.
fn miri_get_backtrace(flags: u64) -> Box<[*mut ()]>;
/// Miri-provided extern function to resolve a frame pointer obtained
/// from `miri_get_backtrace`. The `version` argument must be `0`,
/// from `miri_get_backtrace`. The `flags` argument must be `0`,
/// and `MiriFrame` should be declared as follows:
///
/// ```rust