You are viewing a plain text version of this content. The canonical link for it is here.
Posted to jira@arrow.apache.org by "Andrew Lamb (Jira)" <ji...@apache.org> on 2021/02/20 12:27:00 UTC
[jira] [Updated] (ARROW-11713) [Rust] Get MIRI running again
[ https://issues.apache.org/jira/browse/ARROW-11713?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Andrew Lamb updated ARROW-11713:
--------------------------------
Description:
Rust's MIRI https://github.com/rust-lang/miri can help detect logical errors in programs
The Rust arrow implementation now runs the MIRI checks as part of CI thanks to [~vertexclique] but it does not pass cleanly yet
For example:
https://github.com/apache/arrow/pull/9535/checks?check_run_id=1941313240
{code}
Compiling criterion v0.3.4
Compiling h2 v0.3.0
Compiling tower v0.4.5
Compiling hyper v0.14.4
error[E0463]: can't find crate for `tracing`
--> /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/hyper-0.14.4/src/lib.rs:68:1
|
68 | extern crate tracing;
| ^^^^^^^^^^^^^^^^^^^^^ can't find crate
error: aborting due to previous error
{code}
Previously MIRI ran but the check failed in FFI somewhere
Help wanted!
was:
Rust's MIRI https://github.com/rust-lang/miri can help detect logical errors in programs
The Rust arrow implementation now runs the MIRI checks as part of CI, but it does not pass cleanly
For example:
https://github.com/apache/arrow/pull/9535/checks?check_run_id=1941313240
{code}
Compiling criterion v0.3.4
Compiling h2 v0.3.0
Compiling tower v0.4.5
Compiling hyper v0.14.4
error[E0463]: can't find crate for `tracing`
--> /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/hyper-0.14.4/src/lib.rs:68:1
|
68 | extern crate tracing;
| ^^^^^^^^^^^^^^^^^^^^^ can't find crate
error: aborting due to previous error
{code}
Previously MIRI ran but the check failed in FFI somewhere
Help wanted!
> [Rust] Get MIRI running again
> -----------------------------
>
> Key: ARROW-11713
> URL: https://issues.apache.org/jira/browse/ARROW-11713
> Project: Apache Arrow
> Issue Type: Improvement
> Reporter: Andrew Lamb
> Priority: Major
>
> Rust's MIRI https://github.com/rust-lang/miri can help detect logical errors in programs
> The Rust arrow implementation now runs the MIRI checks as part of CI thanks to [~vertexclique] but it does not pass cleanly yet
> For example:
> https://github.com/apache/arrow/pull/9535/checks?check_run_id=1941313240
> {code}
> Compiling criterion v0.3.4
> Compiling h2 v0.3.0
> Compiling tower v0.4.5
> Compiling hyper v0.14.4
> error[E0463]: can't find crate for `tracing`
> --> /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/hyper-0.14.4/src/lib.rs:68:1
> |
> 68 | extern crate tracing;
> | ^^^^^^^^^^^^^^^^^^^^^ can't find crate
> error: aborting due to previous error
> {code}
> Previously MIRI ran but the check failed in FFI somewhere
> Help wanted!
--
This message was sent by Atlassian Jira
(v8.3.4#803005)