We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4d0c0c2 commit 37b53fdCopy full SHA for 37b53fd
tests/fail/extern-so/function_not_in_SO.rs
@@ -1,6 +1,6 @@
1
//@only-target-linux
2
//@only-on-host
3
-//@compile-flags: -Zmiri-extern-so-file=tests/extern-so/libtestlib.so
+//@compile-flags: -Zmiri-extern-so-file=target/miri-extern-so/libtestlib.so
4
5
extern "C" {
6
fn foo();
tests/pass/extern-so/call_extern_c_fcts.rs
fn add_one_int(x: i32) -> i32;
0 commit comments