mirror of https://github.com/KaiserY/trpl-zh-cn
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
6 lines
288 B
6 lines
288 B
2 weeks ago
|
$ cargo +nightly miri run
|
||
|
|
Compiling unsafe-example v0.1.0 (file:///projects/unsafe-example)
|
||
|
|
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.01s
|
||
|
|
Running `file:///home/.rustup/toolchains/nightly/bin/cargo-miri runner target/miri/debug/unsafe-example`
|
||
|
|
COUNTER: 3
|