Skip to content

Commit

Permalink
fix tests/native-lib stderr files
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Sep 9, 2024
1 parent 8776642 commit be882c2
Show file tree
Hide file tree
Showing 2 changed files with 30 additions and 30 deletions.
30 changes: 15 additions & 15 deletions tests/native-lib/fail/function_not_in_so.stderr
Original file line number Diff line number Diff line change
@@ -1,15 +1,15 @@
error: unsupported operation: can't call foreign function `foo` on $OS
--> tests/native-lib/fail/function_not_in_so.rs:LL:CC
|
LL | foo();
| ^^^^^ can't call foreign function `foo` on $OS
|
= help: if this is a basic API commonly used on this target, please report an issue with Miri
= help: however, note that Miri does not aim to support every FFI function out there; for instance, we will not support APIs for things such as GUIs, scripting languages, or databases
= note: BACKTRACE:
= note: inside `main` at tests/native-lib/fail/function_not_in_so.rs:LL:CC
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
error: aborting due to 1 previous error
error: unsupported operation: can't call foreign function `foo` on $OS
--> tests/native-lib/fail/function_not_in_so.rs:LL:CC
|
LL | foo();
| ^^^^^ can't call foreign function `foo` on $OS
|
= help: if this is a basic API commonly used on this target, please report an issue with Miri
= help: however, note that Miri does not aim to support every FFI function out there; for instance, we will not support APIs for things such as GUIs, scripting languages, or databases
= note: BACKTRACE:
= note: inside `main` at tests/native-lib/fail/function_not_in_so.rs:LL:CC

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to 1 previous error

30 changes: 15 additions & 15 deletions tests/native-lib/fail/private_function.stderr
Original file line number Diff line number Diff line change
@@ -1,15 +1,15 @@
error: unsupported operation: can't call foreign function `not_exported` on $OS
--> tests/native-lib/fail/private_function.rs:LL:CC
|
LL | not_exported();
| ^^^^^^^^^^^^^^ can't call foreign function `not_exported` on $OS
|
= help: if this is a basic API commonly used on this target, please report an issue with Miri
= help: however, note that Miri does not aim to support every FFI function out there; for instance, we will not support APIs for things such as GUIs, scripting languages, or databases
= note: BACKTRACE:
= note: inside `main` at tests/native-lib/fail/private_function.rs:LL:CC
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
error: aborting due to 1 previous error
error: unsupported operation: can't call foreign function `not_exported` on $OS
--> tests/native-lib/fail/private_function.rs:LL:CC
|
LL | not_exported();
| ^^^^^^^^^^^^^^ can't call foreign function `not_exported` on $OS
|
= help: if this is a basic API commonly used on this target, please report an issue with Miri
= help: however, note that Miri does not aim to support every FFI function out there; for instance, we will not support APIs for things such as GUIs, scripting languages, or databases
= note: BACKTRACE:
= note: inside `main` at tests/native-lib/fail/private_function.rs:LL:CC

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

error: aborting due to 1 previous error

0 comments on commit be882c2

Please sign in to comment.