[INFO] fetching crate evmil 0.4.12... [INFO] testing evmil-0.4.12 against beta-2025-09-21 for beta-1.91-3 [INFO] extracting crate evmil 0.4.12 into /workspace/builds/worker-2-tc2/source [INFO] started tweaking crates.io crate evmil 0.4.12 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate evmil 0.4.12 [INFO] tweaked toml for crates.io crate evmil 0.4.12 written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate evmil 0.4.12 on toolchain beta-2025-09-21 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate evmil 0.4.12 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4518d78ac109ec0cd5e96dec25beb70e449eb29898873766f3b5cf56a9e0a524 [INFO] running `Command { std: "docker" "start" "-a" "4518d78ac109ec0cd5e96dec25beb70e449eb29898873766f3b5cf56a9e0a524", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4518d78ac109ec0cd5e96dec25beb70e449eb29898873766f3b5cf56a9e0a524", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4518d78ac109ec0cd5e96dec25beb70e449eb29898873766f3b5cf56a9e0a524", kill_on_drop: false }` [INFO] [stdout] 4518d78ac109ec0cd5e96dec25beb70e449eb29898873766f3b5cf56a9e0a524 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 0c9bfa6f9ef3f75003bb6d40994848f0c21f3d45c1fd10f0d7ad6b46e4ba7767 [INFO] running `Command { std: "docker" "start" "-a" "0c9bfa6f9ef3f75003bb6d40994848f0c21f3d45c1fd10f0d7ad6b46e4ba7767", kill_on_drop: false }` [INFO] [stderr] Compiling hashbrown v0.15.0 [INFO] [stderr] Compiling thiserror v1.0.64 [INFO] [stderr] Compiling serde_json v1.0.128 [INFO] [stderr] Compiling anyhow v1.0.89 [INFO] [stderr] Compiling destructure_traitobject v0.2.0 [INFO] [stderr] Compiling iana-time-zone v0.1.61 [INFO] [stderr] Compiling os_str_bytes v6.6.1 [INFO] [stderr] Compiling evmil v0.4.12 (/opt/rustwide/workdir) [INFO] [stderr] Compiling syn v2.0.79 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling thread-id v4.2.2 [INFO] [stderr] Compiling textwrap v0.16.1 [INFO] [stderr] Compiling log-mdc v0.1.0 [INFO] [stderr] Compiling ruint-macro v1.2.1 [INFO] [stderr] Compiling delta_inc v0.3.3 [INFO] [stderr] Compiling unsafe-any-ors v1.0.0 [INFO] [stderr] Compiling typemap-ors v1.0.0 [INFO] [stderr] Compiling chrono v0.4.38 [INFO] [stderr] Compiling clap_lex v0.2.4 [INFO] [stderr] Compiling ruint v1.12.3 [INFO] [stderr] Compiling clap v3.2.25 [INFO] [stderr] Compiling indexmap v2.6.0 [INFO] [stderr] Compiling serde_derive v1.0.210 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling thiserror-impl v1.0.64 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling zerocopy v0.7.35 [INFO] [stderr] Compiling ppv-lite86 v0.2.20 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling serde v1.0.210 [INFO] [stderr] Compiling serde-value v0.7.0 [INFO] [stderr] Compiling log v0.4.22 [INFO] [stderr] Compiling serde_yaml v0.9.34+deprecated [INFO] [stderr] Compiling log4rs v1.3.0 [INFO] [stdout] warning: unused variable: `e` [INFO] [stdout] --> src/analysis/reachability.rs:41:69 [INFO] [stdout] | [INFO] [stdout] 41 | let states : Vec> = trace(insns,init,limit).map_err(|e| ())?; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/bytecode/instruction.rs:320:13 [INFO] [stdout] | [INFO] [stdout] 320 | _ => { unreachable!("{:?}",self); } [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/bytecode/instruction.rs:320:13 [INFO] [stdout] | [INFO] [stdout] 283 | STOP => 0, [INFO] [stdout] | ---- matches some of the same values [INFO] [stdout] 284 | ADD|MUL|SUB|DIV|SDIV|MOD|SMOD|EXP|SIGNEXTEND => 2, [INFO] [stdout] | -------------------------------------------- matches some of the same values [INFO] [stdout] 285 | ADDMOD|MULMOD => 3, [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] 286 | LT|GT|SLT|SGT|EQ|AND|OR|XOR => 2, [INFO] [stdout] | --------------------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 320 | _ => { unreachable!("{:?}",self); } [INFO] [stdout] | ^ ...and 24 other patterns collectively make this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/analysis/semantics.rs:30:15 [INFO] [stdout] | [INFO] [stdout] 30 | Exception(EvmException) [INFO] [stdout] | --------- ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 30 - Exception(EvmException) [INFO] [stdout] 30 + Exception(()) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> src/analysis/semantics.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 35 | pub enum EvmException { [INFO] [stdout] | ------------ variants in this enum [INFO] [stdout] 36 | Revert, [INFO] [stdout] 37 | InsufficientGas, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 38 | InsufficientFunds, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | BalanceOverflow, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 43 | ReturnDataOverflow, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 44 | InvalidJumpDest, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 45 | InvalidPrecondition, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 46 | CodeSizeExceeded, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 47 | CallDepthExceeded, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] 48 | AccountCollision, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 49 | WriteProtectionViolated [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `to_abs_bytes` is never used [INFO] [stdout] --> src/bytecode/instruction.rs:687:4 [INFO] [stdout] | [INFO] [stdout] 687 | fn to_abs_bytes(large: bool, target: usize) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_int` is never used [INFO] [stdout] --> src/il/lexer.rs:272:12 [INFO] [stdout] | [INFO] [stdout] 260 | impl Lexer { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 272 | pub fn get_int(&self, t: Span) -> u32 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/util/digraph.rs:80:21 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn out_iter(&self) -> DigraphIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 80 | pub fn out_iter(&self) -> DigraphIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/util/digraph.rs:85:20 [INFO] [stdout] | [INFO] [stdout] 85 | pub fn in_iter(&self) -> DigraphIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 85 | pub fn in_iter(&self) -> DigraphIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: implicit autoref creates a reference to the dereference of a raw pointer [INFO] [stdout] --> src/util/digraph_algorithms.rs:104:19 [INFO] [stdout] | [INFO] [stdout] 104 | let ith = (*dom)[i]; [INFO] [stdout] | ^^---^^^^ [INFO] [stdout] | | [INFO] [stdout] | this raw pointer has type `*mut sorted_vec::SortedVec` [INFO] [stdout] | [INFO] [stdout] = note: creating a reference requires the pointer target to be valid and imposes aliasing requirements [INFO] [stdout] note: autoref is being applied to this expression, resulting in: `&sorted_vec::SortedVec` [INFO] [stdout] --> src/util/digraph_algorithms.rs:104:19 [INFO] [stdout] | [INFO] [stdout] 104 | let ith = (*dom)[i]; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] = note: `#[warn(dangerous_implicit_autorefs)]` on by default [INFO] [stdout] help: try using a raw pointer method instead; or if this reference is intentional, make it explicit [INFO] [stdout] | [INFO] [stdout] 104 | let ith = (&(*dom))[i]; [INFO] [stdout] | ++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: implicit autoref creates a reference to the dereference of a raw pointer [INFO] [stdout] --> src/util/digraph_algorithms.rs:105:19 [INFO] [stdout] | [INFO] [stdout] 105 | let jth = (*pred)[j]; [INFO] [stdout] | ^^----^^^^ [INFO] [stdout] | | [INFO] [stdout] | this raw pointer has type `*const sorted_vec::SortedVec` [INFO] [stdout] | [INFO] [stdout] = note: creating a reference requires the pointer target to be valid and imposes aliasing requirements [INFO] [stdout] note: autoref is being applied to this expression, resulting in: `&sorted_vec::SortedVec` [INFO] [stdout] --> src/util/digraph_algorithms.rs:105:19 [INFO] [stdout] | [INFO] [stdout] 105 | let jth = (*pred)[j]; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] help: try using a raw pointer method instead; or if this reference is intentional, make it explicit [INFO] [stdout] | [INFO] [stdout] 105 | let jth = (&(*pred))[j]; [INFO] [stdout] | ++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 14.09s [INFO] running `Command { std: "docker" "inspect" "0c9bfa6f9ef3f75003bb6d40994848f0c21f3d45c1fd10f0d7ad6b46e4ba7767", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0c9bfa6f9ef3f75003bb6d40994848f0c21f3d45c1fd10f0d7ad6b46e4ba7767", kill_on_drop: false }` [INFO] [stdout] 0c9bfa6f9ef3f75003bb6d40994848f0c21f3d45c1fd10f0d7ad6b46e4ba7767 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4ec377b02b1370d569c2f4829f7203ca7767e4b673d3b1f7046b36f94dc7d9fa [INFO] running `Command { std: "docker" "start" "-a" "4ec377b02b1370d569c2f4829f7203ca7767e4b673d3b1f7046b36f94dc7d9fa", kill_on_drop: false }` [INFO] [stdout] warning: unused variable: `e` [INFO] [stdout] --> src/analysis/reachability.rs:41:69 [INFO] [stdout] | [INFO] [stdout] 41 | let states : Vec> = trace(insns,init,limit).map_err(|e| ())?; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/bytecode/instruction.rs:320:13 [INFO] [stdout] | [INFO] [stdout] 320 | _ => { unreachable!("{:?}",self); } [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/bytecode/instruction.rs:320:13 [INFO] [stdout] | [INFO] [stdout] 283 | STOP => 0, [INFO] [stdout] | ---- matches some of the same values [INFO] [stdout] 284 | ADD|MUL|SUB|DIV|SDIV|MOD|SMOD|EXP|SIGNEXTEND => 2, [INFO] [stdout] | -------------------------------------------- matches some of the same values [INFO] [stdout] 285 | ADDMOD|MULMOD => 3, [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] 286 | LT|GT|SLT|SGT|EQ|AND|OR|XOR => 2, [INFO] [stdout] | --------------------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 320 | _ => { unreachable!("{:?}",self); } [INFO] [stdout] | ^ ...and 24 other patterns collectively make this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/analysis/semantics.rs:30:15 [INFO] [stdout] | [INFO] [stdout] 30 | Exception(EvmException) [INFO] [stdout] | --------- ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 30 - Exception(EvmException) [INFO] [stdout] 30 + Exception(()) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> src/analysis/semantics.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 35 | pub enum EvmException { [INFO] [stdout] | ------------ variants in this enum [INFO] [stdout] 36 | Revert, [INFO] [stdout] 37 | InsufficientGas, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 38 | InsufficientFunds, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | BalanceOverflow, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 43 | ReturnDataOverflow, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 44 | InvalidJumpDest, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 45 | InvalidPrecondition, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 46 | CodeSizeExceeded, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 47 | CallDepthExceeded, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] 48 | AccountCollision, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 49 | WriteProtectionViolated [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `to_abs_bytes` is never used [INFO] [stdout] --> src/bytecode/instruction.rs:687:4 [INFO] [stdout] | [INFO] [stdout] 687 | fn to_abs_bytes(large: bool, target: usize) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_int` is never used [INFO] [stdout] --> src/il/lexer.rs:272:12 [INFO] [stdout] | [INFO] [stdout] 260 | impl Lexer { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 272 | pub fn get_int(&self, t: Span) -> u32 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling evmil v0.4.12 (/opt/rustwide/workdir) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/util/digraph.rs:80:21 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn out_iter(&self) -> DigraphIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 80 | pub fn out_iter(&self) -> DigraphIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/util/digraph.rs:85:20 [INFO] [stdout] | [INFO] [stdout] 85 | pub fn in_iter(&self) -> DigraphIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 85 | pub fn in_iter(&self) -> DigraphIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: implicit autoref creates a reference to the dereference of a raw pointer [INFO] [stdout] --> src/util/digraph_algorithms.rs:104:19 [INFO] [stdout] | [INFO] [stdout] 104 | let ith = (*dom)[i]; [INFO] [stdout] | ^^---^^^^ [INFO] [stdout] | | [INFO] [stdout] | this raw pointer has type `*mut sorted_vec::SortedVec` [INFO] [stdout] | [INFO] [stdout] = note: creating a reference requires the pointer target to be valid and imposes aliasing requirements [INFO] [stdout] note: autoref is being applied to this expression, resulting in: `&sorted_vec::SortedVec` [INFO] [stdout] --> src/util/digraph_algorithms.rs:104:19 [INFO] [stdout] | [INFO] [stdout] 104 | let ith = (*dom)[i]; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] = note: `#[warn(dangerous_implicit_autorefs)]` on by default [INFO] [stdout] help: try using a raw pointer method instead; or if this reference is intentional, make it explicit [INFO] [stdout] | [INFO] [stdout] 104 | let ith = (&(*dom))[i]; [INFO] [stdout] | ++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: implicit autoref creates a reference to the dereference of a raw pointer [INFO] [stdout] --> src/util/digraph_algorithms.rs:105:19 [INFO] [stdout] | [INFO] [stdout] 105 | let jth = (*pred)[j]; [INFO] [stdout] | ^^----^^^^ [INFO] [stdout] | | [INFO] [stdout] | this raw pointer has type `*const sorted_vec::SortedVec` [INFO] [stdout] | [INFO] [stdout] = note: creating a reference requires the pointer target to be valid and imposes aliasing requirements [INFO] [stdout] note: autoref is being applied to this expression, resulting in: `&sorted_vec::SortedVec` [INFO] [stdout] --> src/util/digraph_algorithms.rs:105:19 [INFO] [stdout] | [INFO] [stdout] 105 | let jth = (*pred)[j]; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] help: try using a raw pointer method instead; or if this reference is intentional, make it explicit [INFO] [stdout] | [INFO] [stdout] 105 | let jth = (&(*pred))[j]; [INFO] [stdout] | ++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `nodes` should have an upper case name [INFO] [stdout] --> tests/transitive_closure.rs:3:7 [INFO] [stdout] | [INFO] [stdout] 3 | const nodes :&[usize] = &[0,1,2,3,4]; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_upper_case_globals)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] help: convert the identifier to upper case [INFO] [stdout] | [INFO] [stdout] 3 - const nodes :&[usize] = &[0,1,2,3,4]; [INFO] [stdout] 3 + const NODES :&[usize] = &[0,1,2,3,4]; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `nodes` should have an upper case name [INFO] [stdout] --> tests/dominators.rs:3:7 [INFO] [stdout] | [INFO] [stdout] 3 | const nodes :&[usize] = &[0,1,2,3,4]; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_upper_case_globals)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] help: convert the identifier to upper case [INFO] [stdout] | [INFO] [stdout] 3 - const nodes :&[usize] = &[0,1,2,3,4]; [INFO] [stdout] 3 + const NODES :&[usize] = &[0,1,2,3,4]; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/analysis/memory.rs:401:13 [INFO] [stdout] | [INFO] [stdout] 401 | let mut w1 = w256::from(0xf0e0d0c0b0a0908070605040302010u128); [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/analysis/memory.rs:416:13 [INFO] [stdout] | [INFO] [stdout] 416 | let mut w1 = w256::from(0xf0e0d0c0b0a0908070605040302010u128); [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `e` [INFO] [stdout] --> src/analysis/reachability.rs:41:69 [INFO] [stdout] | [INFO] [stdout] 41 | let states : Vec> = trace(insns,init,limit).map_err(|e| ())?; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/bytecode/instruction.rs:320:13 [INFO] [stdout] | [INFO] [stdout] 320 | _ => { unreachable!("{:?}",self); } [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/bytecode/instruction.rs:320:13 [INFO] [stdout] | [INFO] [stdout] 283 | STOP => 0, [INFO] [stdout] | ---- matches some of the same values [INFO] [stdout] 284 | ADD|MUL|SUB|DIV|SDIV|MOD|SMOD|EXP|SIGNEXTEND => 2, [INFO] [stdout] | -------------------------------------------- matches some of the same values [INFO] [stdout] 285 | ADDMOD|MULMOD => 3, [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] 286 | LT|GT|SLT|SGT|EQ|AND|OR|XOR => 2, [INFO] [stdout] | --------------------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 320 | _ => { unreachable!("{:?}",self); } [INFO] [stdout] | ^ ...and 24 other patterns collectively make this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/analysis/semantics.rs:30:15 [INFO] [stdout] | [INFO] [stdout] 30 | Exception(EvmException) [INFO] [stdout] | --------- ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 30 - Exception(EvmException) [INFO] [stdout] 30 + Exception(()) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> src/analysis/semantics.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 35 | pub enum EvmException { [INFO] [stdout] | ------------ variants in this enum [INFO] [stdout] 36 | Revert, [INFO] [stdout] 37 | InsufficientGas, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 38 | InsufficientFunds, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | BalanceOverflow, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 43 | ReturnDataOverflow, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 44 | InvalidJumpDest, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 45 | InvalidPrecondition, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 46 | CodeSizeExceeded, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 47 | CallDepthExceeded, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] 48 | AccountCollision, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 49 | WriteProtectionViolated [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `to_abs_bytes` is never used [INFO] [stdout] --> src/bytecode/instruction.rs:687:4 [INFO] [stdout] | [INFO] [stdout] 687 | fn to_abs_bytes(large: bool, target: usize) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/util/digraph.rs:80:21 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn out_iter(&self) -> DigraphIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 80 | pub fn out_iter(&self) -> DigraphIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/util/digraph.rs:85:20 [INFO] [stdout] | [INFO] [stdout] 85 | pub fn in_iter(&self) -> DigraphIterator { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 85 | pub fn in_iter(&self) -> DigraphIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: implicit autoref creates a reference to the dereference of a raw pointer [INFO] [stdout] --> src/util/digraph_algorithms.rs:104:19 [INFO] [stdout] | [INFO] [stdout] 104 | let ith = (*dom)[i]; [INFO] [stdout] | ^^---^^^^ [INFO] [stdout] | | [INFO] [stdout] | this raw pointer has type `*mut sorted_vec::SortedVec` [INFO] [stdout] | [INFO] [stdout] = note: creating a reference requires the pointer target to be valid and imposes aliasing requirements [INFO] [stdout] note: autoref is being applied to this expression, resulting in: `&sorted_vec::SortedVec` [INFO] [stdout] --> src/util/digraph_algorithms.rs:104:19 [INFO] [stdout] | [INFO] [stdout] 104 | let ith = (*dom)[i]; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] = note: `#[warn(dangerous_implicit_autorefs)]` on by default [INFO] [stdout] help: try using a raw pointer method instead; or if this reference is intentional, make it explicit [INFO] [stdout] | [INFO] [stdout] 104 | let ith = (&(*dom))[i]; [INFO] [stdout] | ++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: implicit autoref creates a reference to the dereference of a raw pointer [INFO] [stdout] --> src/util/digraph_algorithms.rs:105:19 [INFO] [stdout] | [INFO] [stdout] 105 | let jth = (*pred)[j]; [INFO] [stdout] | ^^----^^^^ [INFO] [stdout] | | [INFO] [stdout] | this raw pointer has type `*const sorted_vec::SortedVec` [INFO] [stdout] | [INFO] [stdout] = note: creating a reference requires the pointer target to be valid and imposes aliasing requirements [INFO] [stdout] note: autoref is being applied to this expression, resulting in: `&sorted_vec::SortedVec` [INFO] [stdout] --> src/util/digraph_algorithms.rs:105:19 [INFO] [stdout] | [INFO] [stdout] 105 | let jth = (*pred)[j]; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] help: try using a raw pointer method instead; or if this reference is intentional, make it explicit [INFO] [stdout] | [INFO] [stdout] 105 | let jth = (&(*pred))[j]; [INFO] [stdout] | ++ + [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 4.57s [INFO] running `Command { std: "docker" "inspect" "4ec377b02b1370d569c2f4829f7203ca7767e4b673d3b1f7046b36f94dc7d9fa", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4ec377b02b1370d569c2f4829f7203ca7767e4b673d3b1f7046b36f94dc7d9fa", kill_on_drop: false }` [INFO] [stdout] 4ec377b02b1370d569c2f4829f7203ca7767e4b673d3b1f7046b36f94dc7d9fa [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] e5eb606819e889c80eeaf40497537a57c5375cf144f13ffe05979411d10b0a28 [INFO] running `Command { std: "docker" "start" "-a" "e5eb606819e889c80eeaf40497537a57c5375cf144f13ffe05979411d10b0a28", kill_on_drop: false }` [INFO] [stderr] warning: unused variable: `e` [INFO] [stderr] --> src/analysis/reachability.rs:41:69 [INFO] [stderr] | [INFO] [stderr] 41 | let states : Vec> = trace(insns,init,limit).map_err(|e| ())?; [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unreachable pattern [INFO] [stderr] --> src/bytecode/instruction.rs:320:13 [INFO] [stderr] | [INFO] [stderr] 320 | _ => { unreachable!("{:?}",self); } [INFO] [stderr] | ^ no value can reach this [INFO] [stderr] | [INFO] [stderr] note: multiple earlier patterns match some of the same values [INFO] [stderr] --> src/bytecode/instruction.rs:320:13 [INFO] [stderr] | [INFO] [stderr] 283 | STOP => 0, [INFO] [stderr] | ---- matches some of the same values [INFO] [stderr] 284 | ADD|MUL|SUB|DIV|SDIV|MOD|SMOD|EXP|SIGNEXTEND => 2, [INFO] [stderr] | -------------------------------------------- matches some of the same values [INFO] [stderr] 285 | ADDMOD|MULMOD => 3, [INFO] [stderr] | ------------- matches some of the same values [INFO] [stderr] 286 | LT|GT|SLT|SGT|EQ|AND|OR|XOR => 2, [INFO] [stderr] | --------------------------- matches some of the same values [INFO] [stderr] ... [INFO] [stderr] 320 | _ => { unreachable!("{:?}",self); } [INFO] [stderr] | ^ ...and 24 other patterns collectively make this unreachable [INFO] [stderr] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/analysis/semantics.rs:30:15 [INFO] [stderr] | [INFO] [stderr] 30 | Exception(EvmException) [INFO] [stderr] | --------- ^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 30 - Exception(EvmException) [INFO] [stderr] 30 + Exception(()) [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: multiple variants are never constructed [INFO] [stderr] --> src/analysis/semantics.rs:37:5 [INFO] [stderr] | [INFO] [stderr] 35 | pub enum EvmException { [INFO] [stderr] | ------------ variants in this enum [INFO] [stderr] 36 | Revert, [INFO] [stderr] 37 | InsufficientGas, [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] 38 | InsufficientFunds, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 42 | BalanceOverflow, [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] 43 | ReturnDataOverflow, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 44 | InvalidJumpDest, [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] 45 | InvalidPrecondition, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 46 | CodeSizeExceeded, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] 47 | CallDepthExceeded, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] 48 | AccountCollision, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] 49 | WriteProtectionViolated [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `to_abs_bytes` is never used [INFO] [stderr] --> src/bytecode/instruction.rs:687:4 [INFO] [stderr] | [INFO] [stderr] 687 | fn to_abs_bytes(large: bool, target: usize) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `get_int` is never used [INFO] [stderr] --> src/il/lexer.rs:272:12 [INFO] [stderr] | [INFO] [stderr] 260 | impl Lexer { [INFO] [stderr] | ---------- method in this implementation [INFO] [stderr] ... [INFO] [stderr] 272 | pub fn get_int(&self, t: Span) -> u32 { [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/util/digraph.rs:80:21 [INFO] [stderr] | [INFO] [stderr] 80 | pub fn out_iter(&self) -> DigraphIterator { [INFO] [stderr] | ^^^^^ ^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 80 | pub fn out_iter(&self) -> DigraphIterator<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/util/digraph.rs:85:20 [INFO] [stderr] | [INFO] [stderr] 85 | pub fn in_iter(&self) -> DigraphIterator { [INFO] [stderr] | ^^^^^ ^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 85 | pub fn in_iter(&self) -> DigraphIterator<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: implicit autoref creates a reference to the dereference of a raw pointer [INFO] [stderr] --> src/util/digraph_algorithms.rs:104:19 [INFO] [stderr] | [INFO] [stderr] 104 | let ith = (*dom)[i]; [INFO] [stderr] | ^^---^^^^ [INFO] [stderr] | | [INFO] [stderr] | this raw pointer has type `*mut sorted_vec::SortedVec` [INFO] [stderr] | [INFO] [stderr] = note: creating a reference requires the pointer target to be valid and imposes aliasing requirements [INFO] [stderr] note: autoref is being applied to this expression, resulting in: `&sorted_vec::SortedVec` [INFO] [stderr] --> src/util/digraph_algorithms.rs:104:19 [INFO] [stderr] | [INFO] [stderr] 104 | let ith = (*dom)[i]; [INFO] [stderr] | ^^^^^^ [INFO] [stderr] = note: `#[warn(dangerous_implicit_autorefs)]` on by default [INFO] [stderr] help: try using a raw pointer method instead; or if this reference is intentional, make it explicit [INFO] [stderr] | [INFO] [stderr] 104 | let ith = (&(*dom))[i]; [INFO] [stderr] | ++ + [INFO] [stderr] [INFO] [stderr] warning: implicit autoref creates a reference to the dereference of a raw pointer [INFO] [stderr] --> src/util/digraph_algorithms.rs:105:19 [INFO] [stderr] | [INFO] [stderr] 105 | let jth = (*pred)[j]; [INFO] [stderr] | ^^----^^^^ [INFO] [stderr] | | [INFO] [stderr] | this raw pointer has type `*const sorted_vec::SortedVec` [INFO] [stderr] | [INFO] [stderr] = note: creating a reference requires the pointer target to be valid and imposes aliasing requirements [INFO] [stderr] note: autoref is being applied to this expression, resulting in: `&sorted_vec::SortedVec` [INFO] [stderr] --> src/util/digraph_algorithms.rs:105:19 [INFO] [stderr] | [INFO] [stderr] 105 | let jth = (*pred)[j]; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] help: try using a raw pointer method instead; or if this reference is intentional, make it explicit [INFO] [stderr] | [INFO] [stderr] 105 | let jth = (&(*pred))[j]; [INFO] [stderr] | ++ + [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/memory.rs:401:13 [INFO] [stderr] | [INFO] [stderr] 401 | let mut w1 = w256::from(0xf0e0d0c0b0a0908070605040302010u128); [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/analysis/memory.rs:416:13 [INFO] [stderr] | [INFO] [stderr] 416 | let mut w1 = w256::from(0xf0e0d0c0b0a0908070605040302010u128); [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: `evmil` (lib) generated 10 warnings (run `cargo fix --lib -p evmil` to apply 2 suggestions) [INFO] [stderr] warning: `evmil` (lib test) generated 11 warnings (9 duplicates) (run `cargo fix --lib -p evmil --tests` to apply 2 suggestions) [INFO] [stderr] warning: constant `nodes` should have an upper case name [INFO] [stderr] --> tests/transitive_closure.rs:3:7 [INFO] [stderr] | [INFO] [stderr] 3 | const nodes :&[usize] = &[0,1,2,3,4]; [INFO] [stderr] | ^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_upper_case_globals)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stderr] help: convert the identifier to upper case [INFO] [stderr] | [INFO] [stderr] 3 - const nodes :&[usize] = &[0,1,2,3,4]; [INFO] [stderr] 3 + const NODES :&[usize] = &[0,1,2,3,4]; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: constant `nodes` should have an upper case name [INFO] [stderr] --> tests/dominators.rs:3:7 [INFO] [stderr] | [INFO] [stderr] 3 | const nodes :&[usize] = &[0,1,2,3,4]; [INFO] [stderr] | ^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_upper_case_globals)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stderr] help: convert the identifier to upper case [INFO] [stderr] | [INFO] [stderr] 3 - const nodes :&[usize] = &[0,1,2,3,4]; [INFO] [stderr] 3 + const NODES :&[usize] = &[0,1,2,3,4]; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: `evmil` (test "transitive_closure") generated 1 warning (run `cargo fix --test "transitive_closure"` to apply 1 suggestion) [INFO] [stderr] warning: `evmil` (test "dominators") generated 1 warning (run `cargo fix --test "dominators"` to apply 1 suggestion) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.14s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/evmil-5946b274f12314dd) [INFO] [stdout] [INFO] [stdout] running 44 tests [INFO] [stdout] test analysis::memory::memory_tests::mem_aligned_known_read ... ok [INFO] [stdout] test analysis::memory::memory_tests::mem_known_write8 ... ok [INFO] [stdout] test analysis::memory::memory_tests::mem_aligned_oob_read ... ok [INFO] [stdout] test analysis::memory::memory_tests::mem_unaligned_known_read_1 ... ok [INFO] [stdout] test analysis::memory::memory_tests::mem_unaligned_known_read_2 ... ok [INFO] [stdout] test analysis::memory::memory_tests::mem_unaligned_oob_read ... ok [INFO] [stdout] test analysis::memory::memory_tests::mem_unaligned_unknown_read_1 ... ok [INFO] [stdout] test analysis::memory::memory_tests::mem_unaligned_unknown_write ... ok [INFO] [stdout] test analysis::memory::memory_tests::mem_unknown_write8 ... ok [INFO] [stdout] test il::lexer::tests::test_01 ... ok [INFO] [stdout] test il::lexer::tests::test_02 ... ok [INFO] [stdout] test il::lexer::tests::test_04 ... ok [INFO] [stdout] test il::lexer::tests::test_03 ... ok [INFO] [stdout] test il::lexer::tests::test_05 ... ok [INFO] [stdout] test analysis::memory::memory_tests::mem_unaligned_known_write ... ok [INFO] [stdout] test il::lexer::tests::test_07 ... ok [INFO] [stdout] test il::lexer::tests::test_08 ... ok [INFO] [stdout] test il::lexer::tests::test_06 ... ok [INFO] [stdout] test il::lexer::tests::test_09 ... ok [INFO] [stdout] test il::lexer::tests::test_13 ... ok [INFO] [stdout] test il::lexer::tests::test_11 ... ok [INFO] [stdout] test il::lexer::tests::test_16 ... ok [INFO] [stdout] test il::lexer::tests::test_12 ... ok [INFO] [stdout] test il::lexer::tests::test_30 ... ok [INFO] [stdout] test il::lexer::tests::test_14 ... ok [INFO] [stdout] test il::lexer::tests::test_21 ... ok [INFO] [stdout] test il::lexer::tests::test_44 ... ok [INFO] [stdout] test il::lexer::tests::test_24 ... ok [INFO] [stdout] test il::lexer::tests::test_10 ... ok [INFO] [stdout] test il::lexer::tests::test_20 ... ok [INFO] [stdout] test il::lexer::tests::test_45 ... ok [INFO] [stdout] test il::lexer::tests::test_23 ... ok [INFO] [stdout] test il::lexer::tests::test_46 ... ok [INFO] [stdout] test il::lexer::tests::test_43 ... ok [INFO] [stdout] test il::lexer::tests::test_47 ... ok [INFO] [stdout] test il::lexer::tests::test_22 ... ok [INFO] [stdout] test il::lexer::tests::test_41 ... ok [INFO] [stdout] test il::lexer::tests::test_50 ... ok [INFO] [stdout] test il::lexer::tests::test_49 ... ok [INFO] [stdout] test il::lexer::tests::test_61 ... ok [INFO] [stdout] test il::lexer::tests::test_42 ... ok [INFO] [stdout] test il::lexer::tests::test_48 ... ok [INFO] [stdout] test il::lexer::tests::test_40 ... ok [INFO] [stdout] test il::lexer::tests::test_15 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 44 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/evmil.rs (/opt/rustwide/target/debug/deps/evmil-7f04217bb2421817) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/assembler.rs (/opt/rustwide/target/debug/deps/assembler-489ef1a846b409d8) [INFO] [stdout] [INFO] [stdout] running 213 tests [INFO] [stdout] test test_assert_000001 ... ok [INFO] [stdout] test test_assert_000000 ... ok [INFO] [stdout] test test_assert_000002 ... ok [INFO] [stdout] test test_assert_000003 ... ok [INFO] [stdout] test test_assert_000004 ... ok [INFO] [stdout] test test_assert_000005 ... ok [INFO] [stdout] test test_assert_000006 ... ok [INFO] [stdout] test test_assert_000007 ... ok [INFO] [stdout] test test_assert_000008 ... ok [INFO] [stdout] test test_assert_000009 ... ok [INFO] [stdout] test test_assert_00000a ... ok [INFO] [stdout] test test_assert_00000b ... ok [INFO] [stdout] test test_assert_00000c ... ok [INFO] [stdout] test test_assert_00000d ... ok [INFO] [stdout] test test_assert_00000e ... ok [INFO] [stdout] test test_assert_00000f ... ok [INFO] [stdout] test test_assert_000010 ... ok [INFO] [stdout] test test_assert_000011 ... ok [INFO] [stdout] test test_assert_000012 ... ok [INFO] [stdout] test test_assert_000013 ... ok [INFO] [stdout] test test_assert_000014 ... ok [INFO] [stdout] test test_assert_000015 ... ok [INFO] [stdout] test test_assert_000016 ... ok [INFO] [stdout] test test_assert_000017 ... ok [INFO] [stdout] test test_assert_000018 ... ok [INFO] [stdout] test test_assert_000019 ... ok [INFO] [stdout] test test_assert_00001a ... ok [INFO] [stdout] test test_assert_00001b ... ok [INFO] [stdout] test test_assert_00001d ... ok [INFO] [stdout] test test_assert_00001c ... ok [INFO] [stdout] test test_assert_00001e ... ok [INFO] [stdout] test test_assert_00001f ... ok [INFO] [stdout] test test_assert_000020 ... ok [INFO] [stdout] test test_assert_000021 ... ok [INFO] [stdout] test test_assign_000000 ... ok [INFO] [stdout] test test_assign_000001 ... ok [INFO] [stdout] test test_assign_000002 ... ok [INFO] [stdout] test test_assign_000004 ... ok [INFO] [stdout] test test_assign_000003 ... ok [INFO] [stdout] test test_assign_000006 ... ok [INFO] [stdout] test test_branch_000000 ... ok [INFO] [stdout] test test_branch_000001 ... ok [INFO] [stdout] test test_branch_000003 ... ok [INFO] [stdout] test test_assign_000007 ... ok [INFO] [stdout] test test_branch_000004 ... ok [INFO] [stdout] test test_branch_000002 ... ok [INFO] [stdout] test test_branch_000006 ... ok [INFO] [stdout] test test_assign_000005 ... ok [INFO] [stdout] test test_cfg_00008f ... ok [INFO] [stdout] test test_branch_000007 ... ok [INFO] [stdout] test test_betting ... ok [INFO] [stdout] test test_cfg_000090 ... ok [INFO] [stdout] test test_cfg_000091 ... ok [INFO] [stdout] test test_cfg_000093 ... ok [INFO] [stdout] test test_cfg_000094 ... ok [INFO] [stdout] test test_cfg_000092 ... ok [INFO] [stdout] test test_cfg_000095 ... ok [INFO] [stdout] test test_cfg_00008e ... ok [INFO] [stdout] test test_cfg_000096 ... ok [INFO] [stdout] test test_cfg_000097 ... ok [INFO] [stdout] test test_branch_000005 ... ok [INFO] [stdout] test test_cfg_000098 ... ok [INFO] [stdout] test test_cfg_000099 ... ok [INFO] [stdout] test test_opcode_000000 ... ok [INFO] [stdout] test test_cfg_00009a ... ok [INFO] [stdout] test test_opcode_000002 ... ok [INFO] [stdout] test test_opcode_000003 ... ok [INFO] [stdout] test test_opcode_000004 ... ok [INFO] [stdout] test test_opcode_000001 ... ok [INFO] [stdout] test test_opcode_000006 ... ok [INFO] [stdout] test test_opcode_000007 ... ok [INFO] [stdout] test test_opcode_000005 ... ok [INFO] [stdout] test test_opcode_000008 ... ok [INFO] [stdout] test test_opcode_00000f ... ok [INFO] [stdout] test test_opcode_000010 ... ok [INFO] [stdout] test test_opcode_000012 ... ok [INFO] [stdout] test test_opcode_000011 ... ok [INFO] [stdout] test test_opcode_00000b ... ok [INFO] [stdout] test test_opcode_00000a ... ok [INFO] [stdout] test test_opcode_000013 ... ok [INFO] [stdout] test test_opcode_00000c ... ok [INFO] [stdout] test test_opcode_00000d ... ok [INFO] [stdout] test test_opcode_00000e ... ok [INFO] [stdout] test test_opcode_000009 ... ok [INFO] [stdout] test test_opcode_000018 ... ok [INFO] [stdout] test test_opcode_000016 ... ok [INFO] [stdout] test test_opcode_000019 ... ok [INFO] [stdout] test test_opcode_000015 ... ok [INFO] [stdout] test test_opcode_000014 ... ok [INFO] [stdout] test test_opcode_00001a ... ok [INFO] [stdout] test test_opcode_00001b ... ok [INFO] [stdout] test test_opcode_00001c ... ok [INFO] [stdout] test test_opcode_000017 ... ok [INFO] [stdout] test test_opcode_00001d ... ok [INFO] [stdout] test test_opcode_00001f ... ok [INFO] [stdout] test test_opcode_000020 ... ok [INFO] [stdout] test test_opcode_00001e ... ok [INFO] [stdout] test test_opcode_000023 ... ok [INFO] [stdout] test test_opcode_000021 ... ok [INFO] [stdout] test test_opcode_000022 ... ok [INFO] [stdout] test test_opcode_000024 ... ok [INFO] [stdout] test test_opcode_000025 ... ok [INFO] [stdout] test test_opcode_000026 ... ok [INFO] [stdout] test test_opcode_000027 ... ok [INFO] [stdout] test test_opcode_000029 ... ok [INFO] [stdout] test test_opcode_00002c ... ok [INFO] [stdout] test test_opcode_00002d ... ok [INFO] [stdout] test test_opcode_00002a ... ok [INFO] [stdout] test test_opcode_00002b ... ok [INFO] [stdout] test test_opcode_000028 ... ok [INFO] [stdout] test test_opcode_000031 ... ok [INFO] [stdout] test test_opcode_000030 ... ok [INFO] [stdout] test test_opcode_000032 ... ok [INFO] [stdout] test test_opcode_00002e ... ok [INFO] [stdout] test test_opcode_00002f ... ok [INFO] [stdout] test test_opcode_00003a ... ok [INFO] [stdout] test test_opcode_000034 ... ok [INFO] [stdout] test test_opcode_00003b ... ok [INFO] [stdout] test test_opcode_000035 ... ok [INFO] [stdout] test test_opcode_000036 ... ok [INFO] [stdout] test test_opcode_000038 ... ok [INFO] [stdout] test test_opcode_000033 ... ok [INFO] [stdout] test test_opcode_00003e ... ok [INFO] [stdout] test test_opcode_000037 ... ok [INFO] [stdout] test test_opcode_000039 ... ok [INFO] [stdout] test test_opcode_00003c ... ok [INFO] [stdout] test test_opcode_000040 ... ok [INFO] [stdout] test test_opcode_00003f ... ok [INFO] [stdout] test test_opcode_00003d ... ok [INFO] [stdout] test test_opcode_000041 ... ok [INFO] [stdout] test test_opcode_000042 ... ok [INFO] [stdout] test test_opcode_000043 ... ok [INFO] [stdout] test test_opcode_000044 ... ok [INFO] [stdout] test test_opcode_000045 ... ok [INFO] [stdout] test test_opcode_000046 ... ok [INFO] [stdout] test test_opcode_000047 ... ok [INFO] [stdout] test test_opcode_000048 ... ok [INFO] [stdout] test test_opcode_000049 ... ok [INFO] [stdout] test test_opcode_00004a ... ok [INFO] [stdout] test test_opcode_00004c ... ok [INFO] [stdout] test test_opcode_00004b ... ok [INFO] [stdout] test test_opcode_00004d ... ok [INFO] [stdout] test test_opcode_00004e ... ok [INFO] [stdout] test test_opcode_00004f ... ok [INFO] [stdout] test test_opcode_000050 ... ok [INFO] [stdout] test test_opcode_000051 ... ok [INFO] [stdout] test test_opcode_000052 ... ok [INFO] [stdout] test test_opcode_000053 ... ok [INFO] [stdout] test test_opcode_000054 ... ok [INFO] [stdout] test test_opcode_000055 ... ok [INFO] [stdout] test test_opcode_000056 ... ok [INFO] [stdout] test test_opcode_000058 ... ok [INFO] [stdout] test test_opcode_000057 ... ok [INFO] [stdout] test test_opcode_00005a ... ok [INFO] [stdout] test test_opcode_000059 ... ok [INFO] [stdout] test test_opcode_00005c ... ok [INFO] [stdout] test test_opcode_00005b ... ok [INFO] [stdout] test test_opcode_00005e ... ok [INFO] [stdout] test test_opcode_00005f ... ok [INFO] [stdout] test test_opcode_000061 ... ok [INFO] [stdout] test test_opcode_000060 ... ok [INFO] [stdout] test test_opcode_000062 ... ok [INFO] [stdout] test test_opcode_00005d ... ok [INFO] [stdout] test test_opcode_000070 ... ok [INFO] [stdout] test test_opcode_000064 ... ok [INFO] [stdout] test test_opcode_000063 ... ok [INFO] [stdout] test test_opcode_000065 ... ok [INFO] [stdout] test test_opcode_000066 ... ok [INFO] [stdout] test test_opcode_000067 ... ok [INFO] [stdout] test test_opcode_000068 ... ok [INFO] [stdout] test test_opcode_000069 ... ok [INFO] [stdout] test test_opcode_00006a ... ok [INFO] [stdout] test test_opcode_00006b ... ok [INFO] [stdout] test test_opcode_00006c ... ok [INFO] [stdout] test test_opcode_00006d ... ok [INFO] [stdout] test test_opcode_00006e ... ok [INFO] [stdout] test test_opcode_00006f ... ok [INFO] [stdout] test test_opcode_000072 ... ok [INFO] [stdout] test test_opcode_000071 ... ok [INFO] [stdout] test test_opcode_000073 ... ok [INFO] [stdout] test test_opcode_000075 ... ok [INFO] [stdout] test test_opcode_000074 ... ok [INFO] [stdout] test test_opcode_000079 ... ok [INFO] [stdout] test test_opcode_00007b ... ok [INFO] [stdout] test test_opcode_00007e ... ok [INFO] [stdout] test test_opcode_00007f ... ok [INFO] [stdout] test test_opcode_000076 ... ok [INFO] [stdout] test test_opcode_000080 ... ok [INFO] [stdout] test test_opcode_000083 ... ok [INFO] [stdout] test test_opcode_000084 ... ok [INFO] [stdout] test test_opcode_000081 ... ok [INFO] [stdout] test test_opcode_000077 ... ok [INFO] [stdout] test test_opcode_000085 ... ok [INFO] [stdout] test test_opcode_000082 ... ok [INFO] [stdout] test test_opcode_000078 ... ok [INFO] [stdout] test test_opcode_00007c ... ok [INFO] [stdout] test test_opcode_00007d ... ok [INFO] [stdout] test test_opcode_000087 ... ok [INFO] [stdout] test test_opcode_000086 ... ok [INFO] [stdout] test test_opcode_000088 ... ok [INFO] [stdout] test test_opcode_000089 ... ok [INFO] [stdout] test test_opcode_00007a ... ok [INFO] [stdout] test test_opcode_00008a ... ok [INFO] [stdout] test test_opcode_00008b ... ok [INFO] [stdout] test test_opcode_00008c ... ok [INFO] [stdout] test test_outcome_000000 ... ok [INFO] [stdout] test test_opcode_00008d ... ok [INFO] [stdout] test test_outcome_000002 ... ok [INFO] [stdout] test test_outcome_000001 ... ok [INFO] [stdout] test test_outcome_000003 ... ok [INFO] [stdout] test test_pushl_000001 ... ok [INFO] [stdout] test test_outcome_000004 ... ok [INFO] [stdout] test test_pushl_000002 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 213 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s [INFO] [stdout] [INFO] [stderr] Running tests/blockvec.rs (/opt/rustwide/target/debug/deps/blockvec-5c41d9c5572aadd8) [INFO] [stdout] [INFO] [stdout] running 6 tests [INFO] [stdout] test test_blockvec_01 ... ok [INFO] [stdout] test test_blockvec_03 ... ok [INFO] [stdout] test test_blockvec_02 ... ok [INFO] [stdout] test test_blockvec_04 ... ok [INFO] [stdout] test test_blockvec_05 ... ok [INFO] [stdout] test test_blockvec_06 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/cfg.rs (/opt/rustwide/target/debug/deps/cfg-9234cd3a460139d9) [INFO] [stdout] [INFO] [stdout] running 14 tests [INFO] [stdout] test test_cfg_01 ... ok [INFO] [stdout] test test_cfg_02 ... ok [INFO] [stdout] test test_cfg_03 ... ok [INFO] [stdout] test test_cfg_04 ... ok [INFO] [stdout] test test_cfg_05 ... ok [INFO] [stdout] test test_cfg_06 ... ok [INFO] [stdout] test test_cfg_07 ... ok [INFO] [stdout] test test_cfg_08 ... ok [INFO] [stdout] test test_cfg_10 ... ok [INFO] [stdout] test test_cfg_11 ... ok [INFO] [stdout] test test_cfg_12 ... ok [INFO] [stdout] test test_cfg_13 ... ok [INFO] [stdout] test test_cfg_15 ... ok [INFO] [stdout] test test_cfg_14 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/compiler.rs (/opt/rustwide/target/debug/deps/compiler-47f6b90bb40e23e5) [INFO] [stdout] [INFO] [stdout] running 57 tests [INFO] [stdout] test test_assert_000001 ... ok [INFO] [stdout] test test_assert_000000 ... ok [INFO] [stdout] test test_assert_000004 ... ok [INFO] [stdout] test test_assert_000002 ... ok [INFO] [stdout] test test_assert_000005 ... ok [INFO] [stdout] test test_assert_000007 ... ok [INFO] [stdout] test test_assert_000008 ... ok [INFO] [stdout] test test_assert_000006 ... ok [INFO] [stdout] test test_assert_000009 ... ok [INFO] [stdout] test test_assert_000003 ... ok [INFO] [stdout] test test_assert_00000a ... ok [INFO] [stdout] test test_assert_00000b ... ok [INFO] [stdout] test test_assert_00000c ... ok [INFO] [stdout] test test_assert_00000d ... ok [INFO] [stdout] test test_assert_00000e ... ok [INFO] [stdout] test test_assert_00000f ... ok [INFO] [stdout] test test_assert_000010 ... ok [INFO] [stdout] test test_assert_000011 ... ok [INFO] [stdout] test test_assert_000013 ... ok [INFO] [stdout] test test_assert_000012 ... ok [INFO] [stdout] test test_assert_000015 ... ok [INFO] [stdout] test test_assert_000014 ... ok [INFO] [stdout] test test_assert_000016 ... ok [INFO] [stdout] test test_assert_000017 ... ok [INFO] [stdout] test test_assert_000018 ... ok [INFO] [stdout] test test_assert_000019 ... ok [INFO] [stdout] test test_assert_00001a ... ok [INFO] [stdout] test test_assert_00001b ... ok [INFO] [stdout] test test_assert_00001c ... ok [INFO] [stdout] test test_assert_00001d ... ok [INFO] [stdout] test test_assert_00001e ... ok [INFO] [stdout] test test_assert_00001f ... ok [INFO] [stdout] test test_assert_000020 ... ok [INFO] [stdout] test test_assert_000021 ... ok [INFO] [stdout] test test_assign_000000 ... ok [INFO] [stdout] test test_assign_000001 ... ok [INFO] [stdout] test test_assign_000002 ... ok [INFO] [stdout] test test_assign_000003 ... ok [INFO] [stdout] test test_assign_000004 ... ok [INFO] [stdout] test test_assign_000005 ... ok [INFO] [stdout] test test_assign_000006 ... ok [INFO] [stdout] test test_branch_000000 ... ok [INFO] [stdout] test test_assign_000007 ... ok [INFO] [stdout] test test_branch_000001 ... ok [INFO] [stdout] test test_branch_000002 ... ok [INFO] [stdout] test test_branch_000003 ... ok [INFO] [stdout] test test_branch_000004 ... ok [INFO] [stdout] test test_branch_000005 ... ok [INFO] [stdout] test test_branch_000006 ... ok [INFO] [stdout] test test_branch_000007 ... ok [INFO] [stdout] test test_cfg_000099 ... ok [INFO] [stdout] test test_outcome_000000 ... ok [INFO] [stdout] test test_cfg_00009a ... ok [INFO] [stdout] test test_outcome_000001 ... ok [INFO] [stdout] test test_outcome_000002 ... ok [INFO] [stdout] test test_outcome_000003 ... ok [INFO] [stdout] test test_outcome_000004 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 57 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Running tests/disassembler.rs (/opt/rustwide/target/debug/deps/disassembler-fb9de4c10adae73a) [INFO] [stdout] [INFO] [stdout] running 213 tests [INFO] [stdout] test test_assert_000001 ... ok [INFO] [stdout] test test_assert_000000 ... ok [INFO] [stdout] test test_assert_000002 ... ok [INFO] [stdout] test test_assert_000003 ... ok [INFO] [stdout] test test_assert_000006 ... ok [INFO] [stdout] test test_assert_000005 ... ok [INFO] [stdout] test test_assert_000007 ... ok [INFO] [stdout] test test_assert_000009 ... ok [INFO] [stdout] test test_assert_000008 ... ok [INFO] [stdout] test test_assert_00000a ... ok [INFO] [stdout] test test_assert_00000b ... ok [INFO] [stdout] test test_assert_000004 ... ok [INFO] [stdout] test test_assert_00000c ... ok [INFO] [stdout] test test_assert_00000e ... ok [INFO] [stdout] test test_assert_00000d ... ok [INFO] [stdout] test test_assert_000010 ... ok [INFO] [stdout] test test_assert_000013 ... ok [INFO] [stdout] test test_assert_000011 ... ok [INFO] [stdout] test test_assert_000015 ... ok [INFO] [stdout] test test_assert_000014 ... ok [INFO] [stdout] test test_assert_00000f ... ok [INFO] [stdout] test test_assert_000016 ... ok [INFO] [stdout] test test_assert_00001f ... ok [INFO] [stdout] test test_assert_000017 ... ok [INFO] [stdout] test test_assert_000020 ... ok [INFO] [stdout] test test_assert_000021 ... ok [INFO] [stdout] test test_assert_000018 ... ok [INFO] [stdout] test test_assign_000000 ... ok [INFO] [stdout] test test_assert_00001b ... ok [INFO] [stdout] test test_assign_000001 ... ok [INFO] [stdout] test test_assert_00001c ... ok [INFO] [stdout] test test_assert_00001a ... ok [INFO] [stdout] test test_assign_000002 ... ok [INFO] [stdout] test test_assert_000012 ... ok [INFO] [stdout] test test_assert_00001d ... ok [INFO] [stdout] test test_assert_00001e ... ok [INFO] [stdout] test test_assign_000003 ... ok [INFO] [stdout] test test_assign_000004 ... ok [INFO] [stdout] test test_assert_000019 ... ok [INFO] [stdout] test test_assign_000006 ... ok [INFO] [stdout] test test_assign_000005 ... ok [INFO] [stdout] test test_assign_000007 ... ok [INFO] [stdout] test test_branch_000000 ... ok [INFO] [stdout] test test_branch_000001 ... ok [INFO] [stdout] test test_branch_000002 ... ok [INFO] [stdout] test test_branch_000003 ... ok [INFO] [stdout] test test_branch_000004 ... ok [INFO] [stdout] test test_betting ... ok [INFO] [stdout] test test_branch_000005 ... ok [INFO] [stdout] test test_branch_000006 ... ok [INFO] [stdout] test test_branch_000007 ... ok [INFO] [stdout] test test_cfg_00008e ... ok [INFO] [stdout] test test_cfg_00008f ... ok [INFO] [stdout] test test_cfg_000090 ... ok [INFO] [stdout] test test_cfg_000092 ... ok [INFO] [stdout] test test_cfg_000091 ... ok [INFO] [stdout] test test_cfg_000093 ... ok [INFO] [stdout] test test_cfg_000096 ... ok [INFO] [stdout] test test_cfg_000095 ... ok [INFO] [stdout] test test_cfg_000098 ... ok [INFO] [stdout] test test_cfg_000099 ... ok [INFO] [stdout] test test_cfg_000094 ... ok [INFO] [stdout] test test_cfg_000097 ... ok [INFO] [stdout] test test_cfg_00009a ... ok [INFO] [stdout] test test_opcode_000000 ... ok [INFO] [stdout] test test_opcode_000001 ... ok [INFO] [stdout] test test_opcode_000002 ... ok [INFO] [stdout] test test_opcode_000004 ... ok [INFO] [stdout] test test_opcode_000005 ... ok [INFO] [stdout] test test_opcode_000003 ... ok [INFO] [stdout] test test_opcode_000006 ... ok [INFO] [stdout] test test_opcode_000007 ... ok [INFO] [stdout] test test_opcode_00000c ... ok [INFO] [stdout] test test_opcode_00000d ... ok [INFO] [stdout] test test_opcode_00000b ... ok [INFO] [stdout] test test_opcode_00000e ... ok [INFO] [stdout] test test_opcode_00000f ... ok [INFO] [stdout] test test_opcode_000010 ... ok [INFO] [stdout] test test_opcode_00000a ... ok [INFO] [stdout] test test_opcode_000011 ... ok [INFO] [stdout] test test_opcode_000012 ... ok [INFO] [stdout] test test_opcode_000014 ... ok [INFO] [stdout] test test_opcode_000015 ... ok [INFO] [stdout] test test_opcode_000016 ... ok [INFO] [stdout] test test_opcode_000008 ... ok [INFO] [stdout] test test_opcode_000017 ... ok [INFO] [stdout] test test_opcode_000013 ... ok [INFO] [stdout] test test_opcode_000009 ... ok [INFO] [stdout] test test_opcode_000018 ... ok [INFO] [stdout] test test_opcode_000019 ... ok [INFO] [stdout] test test_opcode_00001a ... ok [INFO] [stdout] test test_opcode_00001c ... ok [INFO] [stdout] test test_opcode_00001d ... ok [INFO] [stdout] test test_opcode_00001b ... ok [INFO] [stdout] test test_opcode_00001f ... ok [INFO] [stdout] test test_opcode_00001e ... ok [INFO] [stdout] test test_opcode_000020 ... ok [INFO] [stdout] test test_opcode_000021 ... ok [INFO] [stdout] test test_opcode_000022 ... ok [INFO] [stdout] test test_opcode_000023 ... ok [INFO] [stdout] test test_opcode_000024 ... ok [INFO] [stdout] test test_opcode_000026 ... ok [INFO] [stdout] test test_opcode_000025 ... ok [INFO] [stdout] test test_opcode_000027 ... ok [INFO] [stdout] test test_opcode_000028 ... ok [INFO] [stdout] test test_opcode_000029 ... ok [INFO] [stdout] test test_opcode_00002a ... ok [INFO] [stdout] test test_opcode_00002b ... ok [INFO] [stdout] test test_opcode_00002c ... ok [INFO] [stdout] test test_opcode_00002d ... ok [INFO] [stdout] test test_opcode_00002e ... ok [INFO] [stdout] test test_opcode_00002f ... ok [INFO] [stdout] test test_opcode_000030 ... ok [INFO] [stdout] test test_opcode_000031 ... ok [INFO] [stdout] test test_opcode_000032 ... ok [INFO] [stdout] test test_opcode_000033 ... ok [INFO] [stdout] test test_opcode_000034 ... ok [INFO] [stdout] test test_opcode_000035 ... ok [INFO] [stdout] test test_opcode_000036 ... ok [INFO] [stdout] test test_opcode_000037 ... ok [INFO] [stdout] test test_opcode_000038 ... ok [INFO] [stdout] test test_opcode_000039 ... ok [INFO] [stdout] test test_opcode_00003a ... ok [INFO] [stdout] test test_opcode_00003b ... ok [INFO] [stdout] test test_opcode_00003e ... ok [INFO] [stdout] test test_opcode_00003c ... ok [INFO] [stdout] test test_opcode_00003f ... ok [INFO] [stdout] test test_opcode_000040 ... ok [INFO] [stdout] test test_opcode_00003d ... ok [INFO] [stdout] test test_opcode_000041 ... ok [INFO] [stdout] test test_opcode_000042 ... ok [INFO] [stdout] test test_opcode_000044 ... ok [INFO] [stdout] test test_opcode_000043 ... ok [INFO] [stdout] test test_opcode_000046 ... ok [INFO] [stdout] test test_opcode_000045 ... ok [INFO] [stdout] test test_opcode_000047 ... ok [INFO] [stdout] test test_opcode_000048 ... ok [INFO] [stdout] test test_opcode_000049 ... ok [INFO] [stdout] test test_opcode_00004a ... ok [INFO] [stdout] test test_opcode_00004b ... ok [INFO] [stdout] test test_opcode_00004c ... ok [INFO] [stdout] test test_opcode_00004d ... ok [INFO] [stdout] test test_opcode_00004e ... ok [INFO] [stdout] test test_opcode_00004f ... ok [INFO] [stdout] test test_opcode_000051 ... ok [INFO] [stdout] test test_opcode_000050 ... ok [INFO] [stdout] test test_opcode_000052 ... ok [INFO] [stdout] test test_opcode_000054 ... ok [INFO] [stdout] test test_opcode_000053 ... ok [INFO] [stdout] test test_opcode_000055 ... ok [INFO] [stdout] test test_opcode_000056 ... ok [INFO] [stdout] test test_opcode_000057 ... ok [INFO] [stdout] test test_opcode_000058 ... ok [INFO] [stdout] test test_opcode_000059 ... ok [INFO] [stdout] test test_opcode_00005a ... ok [INFO] [stdout] test test_opcode_00005b ... ok [INFO] [stdout] test test_opcode_00005c ... ok [INFO] [stdout] test test_opcode_00005d ... ok [INFO] [stdout] test test_opcode_00005e ... ok [INFO] [stdout] test test_opcode_00005f ... ok [INFO] [stdout] test test_opcode_000060 ... ok [INFO] [stdout] test test_opcode_000061 ... ok [INFO] [stdout] test test_opcode_000062 ... ok [INFO] [stdout] test test_opcode_000063 ... ok [INFO] [stdout] test test_opcode_000064 ... ok [INFO] [stdout] test test_opcode_000065 ... ok [INFO] [stdout] test test_opcode_000066 ... ok [INFO] [stdout] test test_opcode_000067 ... ok [INFO] [stdout] test test_opcode_000068 ... ok [INFO] [stdout] test test_opcode_000069 ... ok [INFO] [stdout] test test_opcode_00006a ... ok [INFO] [stdout] test test_opcode_00006b ... ok [INFO] [stdout] test test_opcode_00006c ... ok [INFO] [stdout] test test_opcode_00006d ... ok [INFO] [stdout] test test_opcode_00006e ... ok [INFO] [stdout] test test_opcode_00006f ... ok [INFO] [stdout] test test_opcode_000070 ... ok [INFO] [stdout] test test_opcode_000073 ... ok [INFO] [stdout] test test_opcode_000076 ... ok [INFO] [stdout] test test_opcode_000078 ... ok [INFO] [stdout] test test_opcode_000071 ... ok [INFO] [stdout] test test_opcode_000079 ... ok [INFO] [stdout] test test_opcode_000074 ... ok [INFO] [stdout] test test_opcode_000085 ... ok [INFO] [stdout] test test_opcode_00007b ... ok [INFO] [stdout] test test_opcode_000072 ... ok [INFO] [stdout] test test_opcode_000077 ... ok [INFO] [stdout] test test_opcode_00007d ... ok [INFO] [stdout] test test_opcode_000075 ... ok [INFO] [stdout] test test_opcode_00007a ... ok [INFO] [stdout] test test_opcode_00007c ... ok [INFO] [stdout] test test_opcode_00007f ... ok [INFO] [stdout] test test_opcode_00007e ... ok [INFO] [stdout] test test_opcode_000084 ... ok [INFO] [stdout] test test_opcode_000080 ... ok [INFO] [stdout] test test_opcode_000081 ... ok [INFO] [stdout] test test_opcode_000082 ... ok [INFO] [stdout] test test_opcode_000083 ... ok [INFO] [stdout] test test_opcode_000086 ... ok [INFO] [stdout] test test_opcode_000087 ... ok [INFO] [stdout] test test_opcode_000088 ... ok [INFO] [stdout] test test_opcode_000089 ... ok [INFO] [stdout] test test_opcode_00008a ... ok [INFO] [stdout] test test_opcode_00008b ... ok [INFO] [stdout] test test_opcode_00008c ... ok [INFO] [stdout] test test_opcode_00008d ... ok [INFO] [stdout] test test_outcome_000000 ... ok [INFO] [stdout] test test_outcome_000001 ... ok [INFO] [stdout] test test_outcome_000002 ... ok [INFO] [stdout] test test_outcome_000003 ... ok [INFO] [stdout] test test_outcome_000004 ... ok [INFO] [stdout] test test_pushl_000001 ... ok [INFO] [stdout] test test_pushl_000002 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 213 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s [INFO] [stdout] [INFO] [stderr] Running tests/dominators.rs (/opt/rustwide/target/debug/deps/dominators-a5ddc387b92d8dd1) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test dominators_02 ... ok [INFO] [stdout] test dominators_01 ... ok [INFO] [stdout] test dominators_03 ... ok [INFO] [stdout] test dominators_04 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/interval.rs (/opt/rustwide/target/debug/deps/interval-1e09e977b321c321) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test test_interval_01 ... ok [INFO] [stdout] test test_interval_03 ... ok [INFO] [stdout] test test_interval_04 ... ok [INFO] [stdout] test test_interval_02 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/interval_stack.rs (/opt/rustwide/target/debug/deps/interval_stack-5f8837e64a40bba5) [INFO] [stdout] [INFO] [stdout] running 24 tests [INFO] [stdout] test test_abstract_stack_01 ... ok [INFO] [stdout] test test_abstract_stack_02 ... ok [INFO] [stdout] test test_abstract_stack_03 ... ok [INFO] [stdout] test test_abstract_stack_04 ... ok [INFO] [stdout] test test_abstract_stack_05 ... ok [INFO] [stdout] test test_abstract_stack_06 ... ok [INFO] [stdout] test test_abstract_stack_07 ... ok [INFO] [stdout] test test_abstract_stack_08 ... ok [INFO] [stdout] test test_abstract_stack_09 ... ok [INFO] [stdout] test test_abstract_stack_0a ... ok [INFO] [stdout] test test_abstract_stack_0b ... ok [INFO] [stdout] test test_abstract_stack_0c ... ok [INFO] [stdout] test test_abstract_stack_0d ... ok [INFO] [stdout] test test_abstract_stack_0e ... ok [INFO] [stdout] test test_abstract_stack_0f ... ok [INFO] [stdout] test test_abstract_stack_0g ... ok [INFO] [stdout] test test_abstract_stack_10 ... ok [INFO] [stdout] test test_abstract_stack_11 ... ok [INFO] [stdout] test test_abstract_stack_12 ... ok [INFO] [stdout] test test_abstract_stack_16 ... ok [INFO] [stdout] test test_abstract_stack_17 ... ok [INFO] [stdout] test test_abstract_stack_14 ... ok [INFO] [stdout] test test_abstract_stack_15 ... ok [INFO] [stdout] test test_abstract_stack_13 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/micro.rs (/opt/rustwide/target/debug/deps/micro-69e8575b8a54758b) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test test_stmt_01 ... ok [INFO] [stdout] test test_stmt_02 ... ok [INFO] [stdout] test test_binop_01 ... ok [INFO] [stdout] test test_literal_01 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/seq.rs (/opt/rustwide/target/debug/deps/seq-8c4de8c833799119) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test test_slice_seq_01 ... ok [INFO] [stdout] test test_slice_seq_02 ... ok [INFO] [stdout] test test_slice_seq_03 ... ok [INFO] [stdout] test test_slice_seq_04 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/sorted_vec.rs (/opt/rustwide/target/debug/deps/sorted_vec-1daffb00c1b42931) [INFO] [stdout] [INFO] [stdout] running 11 tests [INFO] [stdout] test sorted_vec_01 ... ok [INFO] [stdout] test sorted_vec_03 ... ok [INFO] [stdout] test sorted_vec_02 ... ok [INFO] [stdout] test sorted_vec_04 ... ok [INFO] [stdout] test sorted_vec_05 ... ok [INFO] [stdout] test sorted_vec_06 ... ok [INFO] [stdout] test sorted_vec_07 ... ok [INFO] [stdout] test sorted_vec_08 ... ok [INFO] [stdout] test sorted_vec_09 ... ok [INFO] [stdout] test sorted_vec_10 ... ok [INFO] [stdout] test sorted_vec_11 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/transitive_closure.rs (/opt/rustwide/target/debug/deps/transitive_closure-7e7e95d6e3a8c053) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test transitive_closure_01 ... ok [INFO] [stdout] test transitive_closure_04 ... ok [INFO] [stdout] test transitive_closure_03 ... ok [INFO] [stdout] test transitive_closure_02 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests evmil [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test src/bytecode/assembly.rs - bytecode::assembly::Assembly::from_eof_bytes (line 46) ... ok [INFO] [stdout] test src/lib.rs - bytecode (line 71) ... ok [INFO] [stdout] test src/lib.rs - analysis (line 17) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.31s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "e5eb606819e889c80eeaf40497537a57c5375cf144f13ffe05979411d10b0a28", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e5eb606819e889c80eeaf40497537a57c5375cf144f13ffe05979411d10b0a28", kill_on_drop: false }` [INFO] [stdout] e5eb606819e889c80eeaf40497537a57c5375cf144f13ffe05979411d10b0a28