Nov 16 18:54:26.152 INFO testing mtn/ent against master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c for pr-55982 Nov 16 18:54:26.153 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-2/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Nov 16 18:54:26.379 INFO [stdout] f6c2427189f84caf021098327dc5cf151aef3440f34b30383bbf7ad2d5f79743 Nov 16 18:54:26.385 INFO running `"docker" "start" "-a" "f6c2427189f84caf021098327dc5cf151aef3440f34b30383bbf7ad2d5f79743"` Nov 16 18:54:26.919 INFO [stderr] usermod: no changes Nov 16 18:54:26.963 INFO [stderr] Compiling ent v0.1.0 (/source) Nov 16 18:54:27.291 INFO [stderr] warning: variable does not need to be mutable Nov 16 18:54:27.291 INFO [stderr] --> src/main.rs:6:9 Nov 16 18:54:27.291 INFO [stderr] | Nov 16 18:54:27.291 INFO [stderr] 6 | let mut in_str = "A ~B ~C DE\nC D ~E"; Nov 16 18:54:27.291 INFO [stderr] | ----^^^^^^ Nov 16 18:54:27.291 INFO [stderr] | | Nov 16 18:54:27.291 INFO [stderr] | help: remove this `mut` Nov 16 18:54:27.291 INFO [stderr] | Nov 16 18:54:27.291 INFO [stderr] = note: #[warn(unused_mut)] on by default Nov 16 18:54:27.291 INFO [stderr] Nov 16 18:54:27.315 INFO [stderr] warning: function is never used: `update_watchlist` Nov 16 18:54:27.315 INFO [stderr] --> src/watchlist.rs:24:1 Nov 16 18:54:27.315 INFO [stderr] | Nov 16 18:54:27.315 INFO [stderr] 24 | / fn update_watchlist<'a> (sat_instance: &'a IR, watchlist: &'a mut Watchlist<'a>, Nov 16 18:54:27.315 INFO [stderr] 25 | | false_literal: Variable, assignments: Vec>, Nov 16 18:54:27.315 INFO [stderr] 26 | | verbose: bool) -> bool { Nov 16 18:54:27.315 INFO [stderr] 27 | | // When X is made false, everything watching X needs to watch something else Nov 16 18:54:27.315 INFO [stderr] ... | Nov 16 18:54:27.315 INFO [stderr] 66 | | return true Nov 16 18:54:27.315 INFO [stderr] 67 | | } Nov 16 18:54:27.315 INFO [stderr] | |_^ Nov 16 18:54:27.315 INFO [stderr] | Nov 16 18:54:27.315 INFO [stderr] = note: #[warn(dead_code)] on by default Nov 16 18:54:27.315 INFO [stderr] Nov 16 18:54:28.156 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.21s Nov 16 18:54:28.160 INFO [stderr] su: No module specific data is present Nov 16 18:54:28.899 INFO running `"docker" "inspect" "f6c2427189f84caf021098327dc5cf151aef3440f34b30383bbf7ad2d5f79743"` Nov 16 18:54:29.159 INFO running `"docker" "rm" "-f" "f6c2427189f84caf021098327dc5cf151aef3440f34b30383bbf7ad2d5f79743"` Nov 16 18:54:29.584 INFO [stdout] f6c2427189f84caf021098327dc5cf151aef3440f34b30383bbf7ad2d5f79743 Nov 16 18:54:29.591 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-2/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Nov 16 18:54:30.018 INFO [stdout] c723a7c6be31da95b0f420f8ef59acbe68b56f87b586eec1e769ce5f89aa16ce Nov 16 18:54:30.021 INFO running `"docker" "start" "-a" "c723a7c6be31da95b0f420f8ef59acbe68b56f87b586eec1e769ce5f89aa16ce"` Nov 16 18:54:31.251 INFO [stderr] usermod: no changes Nov 16 18:54:31.333 INFO [stderr] Compiling ent v0.1.0 (/source) Nov 16 18:54:31.707 INFO [stderr] warning: variable does not need to be mutable Nov 16 18:54:31.707 INFO [stderr] --> src/main.rs:6:9 Nov 16 18:54:31.707 INFO [stderr] | Nov 16 18:54:31.707 INFO [stderr] 6 | let mut in_str = "A ~B ~C DE\nC D ~E"; Nov 16 18:54:31.707 INFO [stderr] | ----^^^^^^ Nov 16 18:54:31.707 INFO [stderr] | | Nov 16 18:54:31.707 INFO [stderr] | help: remove this `mut` Nov 16 18:54:31.707 INFO [stderr] | Nov 16 18:54:31.707 INFO [stderr] = note: #[warn(unused_mut)] on by default Nov 16 18:54:31.707 INFO [stderr] Nov 16 18:54:31.735 INFO [stderr] warning: function is never used: `update_watchlist` Nov 16 18:54:31.735 INFO [stderr] --> src/watchlist.rs:24:1 Nov 16 18:54:31.735 INFO [stderr] | Nov 16 18:54:31.735 INFO [stderr] 24 | / fn update_watchlist<'a> (sat_instance: &'a IR, watchlist: &'a mut Watchlist<'a>, Nov 16 18:54:31.735 INFO [stderr] 25 | | false_literal: Variable, assignments: Vec>, Nov 16 18:54:31.735 INFO [stderr] 26 | | verbose: bool) -> bool { Nov 16 18:54:31.735 INFO [stderr] 27 | | // When X is made false, everything watching X needs to watch something else Nov 16 18:54:31.735 INFO [stderr] ... | Nov 16 18:54:31.735 INFO [stderr] 66 | | return true Nov 16 18:54:31.735 INFO [stderr] 67 | | } Nov 16 18:54:31.735 INFO [stderr] | |_^ Nov 16 18:54:31.735 INFO [stderr] | Nov 16 18:54:31.735 INFO [stderr] = note: #[warn(dead_code)] on by default Nov 16 18:54:31.735 INFO [stderr] Nov 16 18:54:32.023 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.73s Nov 16 18:54:32.025 INFO [stderr] su: No module specific data is present Nov 16 18:54:32.636 INFO running `"docker" "inspect" "c723a7c6be31da95b0f420f8ef59acbe68b56f87b586eec1e769ce5f89aa16ce"` Nov 16 18:54:32.948 INFO running `"docker" "rm" "-f" "c723a7c6be31da95b0f420f8ef59acbe68b56f87b586eec1e769ce5f89aa16ce"` Nov 16 18:54:33.267 INFO [stdout] c723a7c6be31da95b0f420f8ef59acbe68b56f87b586eec1e769ce5f89aa16ce Nov 16 18:54:33.271 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-2/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Nov 16 18:54:33.791 INFO [stdout] 27c2fdbd58f8f9873520132e0114f4c41ed117f1853bd544d954471abe2211c9 Nov 16 18:54:33.794 INFO running `"docker" "start" "-a" "27c2fdbd58f8f9873520132e0114f4c41ed117f1853bd544d954471abe2211c9"` Nov 16 18:54:34.647 INFO [stderr] usermod: no changes Nov 16 18:54:34.700 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.02s Nov 16 18:54:34.707 INFO [stderr] Running /target/debug/deps/ent-fe87bb265b903978 Nov 16 18:54:34.715 INFO [stdout] Nov 16 18:54:34.715 INFO [stdout] running 0 tests Nov 16 18:54:34.715 INFO [stdout] Nov 16 18:54:34.715 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 16 18:54:34.715 INFO [stdout] Nov 16 18:54:34.716 INFO [stderr] su: No module specific data is present Nov 16 18:54:35.239 INFO running `"docker" "inspect" "27c2fdbd58f8f9873520132e0114f4c41ed117f1853bd544d954471abe2211c9"` Nov 16 18:54:35.335 INFO running `"docker" "rm" "-f" "27c2fdbd58f8f9873520132e0114f4c41ed117f1853bd544d954471abe2211c9"` Nov 16 18:54:35.468 INFO [stdout] 27c2fdbd58f8f9873520132e0114f4c41ed117f1853bd544d954471abe2211c9