Skip to content

Commit 43d1eac

Browse files
committed
Update README
1 parent e5546b6 commit 43d1eac

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

README.md

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -269,10 +269,11 @@ extern "Rust" {
269269
/// Miri-provided extern function to obtain a backtrace of the current call stack.
270270
/// This returns a boxed slice of pointers - each pointer is an opaque value
271271
/// that is only useful when passed to `miri_resolve_frame`
272-
fn miri_get_backtrace() -> Box<[*mut ()]>;
272+
/// The `flags` argument must be `0`.
273+
fn miri_get_backtrace(flags: u64) -> Box<[*mut ()]>;
273274

274275
/// Miri-provided extern function to resolve a frame pointer obtained
275-
/// from `miri_get_backtrace`. The `version` argument must be `0`,
276+
/// from `miri_get_backtrace`. The `flags` argument must be `0`,
276277
/// and `MiriFrame` should be declared as follows:
277278
///
278279
/// ```rust

0 commit comments

Comments
 (0)